Publisher： Cambridge University Press
E-ISSN： 1469-8072|27|5|782-806
ISSN： 0960-1295
Source： Mathematical Structures in Computer Science, Vol.27, Iss.5, 2017-06, pp. : 782-806
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
Classical lambda calculus in modern dress
Mathematical Structures in Computer Science, Vol. 27, Iss. 5, 2017-06 ,pp. :
Access to resources
Recommend
The approximation theorem for the Λμ-calculus
Mathematical Structures in Computer Science, Vol. 27, Iss. 5, 2017-06 ,pp. :
Redexes are stable in the λ-calculus
Mathematical Structures in Computer Science, Vol. 27, Iss. 5, 2017-06 ,pp. :
A Fractional Probability Calculus View of Allometry
Systems, Vol. 2, Iss. 2, 2014-04 ,pp. :
Access to resources