Combinatory weak reduction in lambda calculus

Theoretical Computer Science

Volumn 198, Issue 1-2, 1998, Pages 239-247

  Çaǧman, Naim ^a   Hindley, J R ^a  

^a SWANSEA UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17944394773     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00250-8     Document Type: Article

References (11)

1. Y. Akama, A λ-to-CL translation for strong normalization, in: Ph. de Groote, J.R. Hindley (Eds.), Typed Lambda Calculi and Applications, TLCA'97, Lecture Notes in Computer Science, vol. 1210, Springer, Berlin, 1997, pp. 1-10.
2. H.P. Barendregt, The Lambda Calculus, North-Holland, Amsterdam, 1984.
3. N. Çaǧman, Weak reduction in lambda calculus, Dissertation, Math. Department, University of Wales Swansea, Swansea SA2 8PP, UK, 1996.
4. C. Hankin, Lambda Calculi, a Guide for Computer Scientists, Oxford Univ. Press, Oxford, 1994.
5. J.R. Hindley, Combinatory reductions and lambda reductions compared, Zeit. Math. Logik 23 (1977) 169-180.
6. J.R. Hindley, J.P. Seldin, Introduction to Combinators and λ-calculus, Cambridge Univ. Press, Cambridge, 1986.
7. W.A. Howard, Assignment of ordinals to terms for primitive recursive functionals of finite type, in: A. Kino, J. Myhill, R.E. Vesley (Eds.), Intuitionism and Proof Theory, North-Holland, Amsterdam, 1970, pp. 443-458; Proc. confer. in Buffalo, USA, 1968.
8. W.A. Howard, Assignment of ordinals to terms for primitive recursive functionals of finite type, in: A. Kino, J. Myhill, R.E. Vesley (Eds.), Intuitionism and Proof Theory, North-Holland, Amsterdam, 1970, pp. 443-458; Proc. confer. in Buffalo, USA, 1968.
9. J.M.E. Hyland, C.-H.L. Ong, Modified realizability toposes and strong normalization proofs, in: M. Bezem, J.F. Groote (Eds.), Typed Lambda Calculi and Applications, TLCA'93, Lecture Notes in Computer Science, vol. 664, Springer, Berlin. 1993, pp. 179-194.
10. J.B. Rosser, A mathematical logic without variables, Part 1, Annals of Mathematics, Ser. 2 vol. 36, 1935, pp. 127 150. Part 2, Duke Math. J. 1 (1935) 328-355.
11. J.B. Rosser, A mathematical logic without variables, Part 1, Annals of Mathematics, Ser. 2 vol. 36, 1935, pp. 127 150. Part 2, Duke Math. J. 1 (1935) 328-355.