The approximation theorem for the Λμ-calculus

Publisher： Cambridge University Press

E-ISSN： 1469-8072|27|5|560-580

ISSN： 0960-1295

Source： Mathematical Structures in Computer Science, Vol.27, Iss.5, 2017-06, pp. : 560-580

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

(λ,μ) Statistical Convergence of Order γ for Double Sequences of Functions

By  

ITM Web of conferences, Vol. 22, Iss. issue, 2018-10 ,pp. : 01058-01058

Edp Sciences

Access to resources Recommend Favorite

Clocked lambda calculus †

By  

Mathematical Structures in Computer Science, Vol. 27, Iss. 5, 2017-06 ,pp. : 782-806

Cambridge University Press

Access to resources Recommend Favorite

Redexes are stable in the λ-calculus

By  

Mathematical Structures in Computer Science, Vol. 27, Iss. 5, 2017-06 ,pp. : 738-750

Cambridge University Press

Access to resources Recommend Favorite

A Fractional Probability Calculus View of Allometry

By West Bruce J.  

Systems, Vol. 2, Iss. 2, 2014-04 ,pp. : 89-118

MDPI

Access to resources Recommend Favorite

Classical lambda calculus in modern dress

By  

Mathematical Structures in Computer Science, Vol. 27, Iss. 5, 2017-06 ,pp. : 762-781

Cambridge University Press

Access to resources Recommend Favorite