Author:
Bethke Inge,Klop Jan Willem
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. A. Asperti and A. Ciabattoni. Effective applicative structures. In Proceedings of the 6th biennial conference on Category Theory in Computer Science (CTCS'95), volume 953 of Lecture Notes in Computer Science, pages 81–95, 1995.
2. H.P. Barendregt. The Lambda Calculus, its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, revised edition, 1984. (Second printing 1985).
3. J. Baeten and B. Boerboom. Ω can be anything it should not be. Indagationes Mathematicae, 41:111–120, 1979.
4. M.J. Beeson. Foundations of Constructive Mathematics, volume 6 of Ergebnisse der Mathematik und ihrer Grenzgebiete, S.Folge. Springer-Verlag, 1985.
5. I. Bethke. On the existence of extensional partial combinatory algebras. Journal of Symbolic Logic, 52(3):819–833, 1987.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Realizability and Computability;Algebraic Computability and Enumeration Models;2016-02-25
2. SN combinators and partial combinatory algebras;Rewriting Techniques and Applications;1998
3. A λ-to-CL translation for strong normalization;Lecture Notes in Computer Science;1997