Publisher： Cambridge University Press
E-ISSN： 1469-8072|27|5|762-781
ISSN： 0960-1295
Source： Mathematical Structures in Computer Science, Vol.27, Iss.5, 2017-06, pp. : 762-781
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
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