Domain-Free λµ-Calculus

E-ISSN： 1290-385x|34|6|433-466

ISSN： 0988-3754

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

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

Abstract

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

Dispersion relation and unphysical poles of Möbius domain-wall fermions in free field theory at finite L_s

EPJ Web of Conference, Vol. 175, Iss. issue, 2018-03 ,pp. : 13009-13009

Edp Sciences

Access to resources Recommend Favorite

The Calculus and the Inoperable Expression

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

John Wiley & Sons Inc

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