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 126 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

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

2. Non-Deterministic Functions as Non-Deterministic Processes (Extended Version);Logical Methods in Computer Science;2023-10-10

3. Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework;Proceedings of the ACM on Programming Languages;2023-01-09

4. Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations;Proceedings of the ACM on Programming Languages;2023-01-09

5. A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈;Proceedings of the ACM on Programming Languages;2023-01-09