The infinitary lambda calculus of the infinite eta Böhm trees

E-ISSN： 1469-8072|27|5|681-733

ISSN： 0960-1295

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

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

Clocked lambda calculus ^†

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

Cambridge University Press

Access to resources Recommend Favorite

Classical lambda calculus in modern dress

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

Cambridge University Press

Access to resources Recommend Favorite

Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday

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

Cambridge University Press

Access to resources Recommend Favorite

Infinite-dimensional Lie Algebras, Representations, Hermitian Duality and the Operators of Stochastic Calculus

By Jorgensen Palle Tian Feng

Axioms, Vol. 5, Iss. 2, 2016-05 ,pp. : 12-12

MDPI

Access to resources Recommend Favorite

Infinitary affine proofs

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

Cambridge University Press

Access to resources Recommend Favorite