The Calculus and the Inoperable Expression

E-ISSN： 1939-9170|33|1|116-116

ISSN： 0012-9658

Source： Ecology, Vol.33, Iss.1, 1952-01, pp. : 116-116

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Domain mu-calculus

By Zhang Guo-Qiang

RAIRO - Theoretical Informatics and Applications, Vol. 37, Iss. 4, 2010-03 ,pp. : 337-364

Edp Sciences

Access to resources Recommend Favorite

Domain-Free λµ-Calculus

By Fujita Ken-Etsu

RAIRO - Theoretical Informatics and Applications, Vol. 34, Iss. 6, 2010-03 ,pp. : 433-466

Edp Sciences

Access to resources Recommend Favorite

Extending the lambda-calculus with unbind and rebind

By Dezani-Ciancaglini Mariangiola Giannini Paola Zucca Elena

RAIRO - Theoretical Informatics and Applications, Vol. 45, Iss. 1, 2011-03 ,pp. : 143-162

Edp Sciences

Access to resources Recommend Favorite

Probabilistic operational semantics for the lambda calculus

By Lago Ugo Dal Zorzi Margherita

RAIRO - Theoretical Informatics and Applications, Vol. 46, Iss. 3, 2012-08 ,pp. : 413-450

Edp Sciences

Access to resources Recommend Favorite

Enumerated type semantics for the calculus of looping sequences

By Bioglio Livio

RAIRO - Theoretical Informatics and Applications, Vol. 45, Iss. 1, 2011-03 ,pp. : 35-58

Edp Sciences

Access to resources Recommend Favorite