Author： Lago Ugo Dal Zorzi Margherita
Publisher： Edp Sciences
E-ISSN： 1290-385x|46|3|413-450
ISSN： 0988-3754
Source： RAIRO - Theoretical Informatics and Applications, Vol.46, Iss.3, 2012-08, pp. : 413-450
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Access to resources
Recommend
Lambda-Lambda Correlation in Relativistic Heavy Ion Collisions
EPJ Web of Conference, Vol. 97, Iss. issue, 2015-06 ,pp. :
Access to resources
Easy lambda-terms are not always simple
By Carraro Alberto Salibra Antonino
RAIRO - Theoretical Informatics and Applications, Vol. 46, Iss. 2, 2012-04 ,pp. :
A Coalgebraic Semantics of Subtyping
By Poll Erik
RAIRO - Theoretical Informatics and Applications, Vol. 35, Iss. 1, 2010-03 ,pp. :