A new type assignment for λ-terms-Reference-Cited by-同舟云学术

A new type assignment for λ-terms

Published:1978-12 Issue:1 Volume:19 Page:139-156
ISSN:0933-5846
Container-title:Archiv für Mathematische Logik und Grundlagenforschung
language:en
Short-container-title:Arch math Logik

Author:

Coppo M.,Dezani-Ciancaglini M.

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/BF02011875.pdf

Reference12 articles.

1. Birkhoff, G.: Lattice theory. American Mathematical Society Colloquium Publications25 (1940).

2. Böhm, C., Groß, W.: Introduction to the CUCH. In: Caianiello, E. R. (ed.): Automata Theory, pp. 35–65. Amsterdam: North-Holland 1966.

3. Lecture Notes in Computer Science;C. Böhm,1975

4. Böhm, C., Coppo, M., Dezani-Ciancaglini, M.: Termination test inside λ-calculus. In: Salomaa, A. and Steinby, M. (eds.): Lecture Notes in Computer Science, Vol. 52, pp. 95–110. Berlin, Heidelberg, New York: Springer 1977.

5. Church, A.: Combinatory logic as a semigroup. Bull. Amer. Math. Soc. (Abstract)43 333 (1937).

Cited by 130 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Genericity Through Stratification;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. Node Replication: Theory And Practice;Logical Methods in Computer Science;2024-01-23

3. Higher Order Bayesian Networks, Exactly;Proceedings of the ACM on Programming Languages;2024-01-05

4. Monadic Intersection Types, Relationally;Lecture Notes in Computer Science;2024

5. Semantics and Syntax, Between Computer Science and Mathematics;The French School of Programming;2023-10-11