Author:
Dezani-Ciancaglini M.,Ronchi Della Rocca S.,Saitta L.
Reference20 articles.
1. 1.ABDALI S. K., A Lambda Calculus Model of Programming Languages. I. Simple Constructs and II. Jumps and Procedures, J. Comp. Languages, Vol. 1, 1976, pp. 287-301 and 303-320.0356.68042
2. 2.BARENDREGT H., Normed Uniformity Reflexive Structures, in C. BÖHM, Ed., (λ-Calculus and Computer Science Theory, Lecture Notes in Computer Science, No. 37, Springer-Verlag, 1975, pp. 272-286.4724990333.02021
3. 3.BARENDREGT H., BERGSTRA J., KLOP J. W. and VOLKEN M., Degrees, Reductions and Representability in Lambda Calculus, Preprint, University of Utrecht, Department of Mathematics, 1976.0399.03013
4. 4.BATINI C. and PETTOROSSI A., On Recursiveness in Weak Combinatory Logic, in C. BÖHM, Ed., λ-Calculus and Computer Science Theory, Lecture Notes in Computer Science, No. 37, Springer-Verlag, 1975, pp. 297-311.4799870332.02033
5. 5.BÖHM C. and DEZANI-CIANCAGLINI M., λ-terms as Total or Partial Functions on Normal Forms in C. BÖHM, Ed., λ-Calculus and Computer Science Theory, Lecture Notes in Computer Science, Vol. 37, Springer-Verlag, 1975, pp. 96-121.4852960342.02017
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献