Lambda and pi calculi, CAM and SECD machines

Journal of Functional Programming

Volumn 15, Issue 1, 2005, Pages 101-127

  Vasconcelos, Vasco Thudichum ^a  

^a UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

Λ-CALCULUS; ABSTRACT MACHINES; REDUCTION MACHINES;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA REDUCTION; ENCODING (SYMBOLS);

ABSTRACTING;

EID: 11444264545     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796804005386     Document Type: Article

References (15)

1. Amadio, R. M. & Curien, P.-L. (1998) Domains and Lambda-Calculi. Cambridge Tracts in Theoretical Computer Science 46. Cambridge University Press.
2. Barendregt, H. P. (1974) The Lambda-Calculus, its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics 103. North-Holland.
3. Boudol, G. (1992) Asynchrony and the π-calculus (note). Rapport de Recherche 1702, INRIA Sophia-Antipolis.
4. Curien, P.-L. (1991) An abstract framework for environment machines. Theor. Comput. Sci. 82, 389-402.
5. Honda, K. & Tokoro, M. (1991) An object calculus for asynchronous communication. In: America, P., (ed.), Proceedings of ECOOP '91: LNCS 512, pp. 133-147. Springer.
6. Landin, P. J. (1964) The mechanical evaluation of expressions. Comput. J. 6(4).
7. Milner, R. (1990) Functions as processes. Rapport de Recherche RR-1154, INRIA Sophia-Antipolis. Final version in (Milner, 1992).
8. Milner, R. (1992) Functions as processes. J. Math. Struct. Comput. Sci. 2(2), 119-141.
9. Pierce, B. C. & Sangiorgi, D. (1996) Typing and subtyping for mobile processes. Math. Struct. Comput. Sci. 6(5), 409-454.
10. Pierce, B. C. & Turner, D. N. (2000) Pict: A programming language based on the pi-calculus. In: Plotkin, G., Stirling, C. and Tofte, M., (eds.), Proof. Language and Interaction: Essays in Honour of Robin Milner, Foundations of Computing. MIT Press.
11. Plotkin, G. D. (1975) Call-by-name and call-by-value and the λ-calculus. Theor. Comput. Sci.1, 125-159.
12. Sangiorgi, D. & Walker, D. (2001) The π-calculus, A Theory of Mobile Processes. Cambridge University Press.
13. Vasconcelos, V. T. (1994) Typed concurrent objects. 8th European Conference on Object-Oriented Programming: LNCS 821, pp. 100-117. Springer-Verlag.
14. Vasconcelos, V. T. (2000) Processes, functions, datatypes. Theory & Practice of Object Syst. 5(2), 97-110.
15. Vasconcelos, V. T. & Lopes, L. (1988-2002) The TyCO programming language - compiler and virtual machine. URL: http://www.ncc.up.pt/~lblopes/ tyco, 1988-2002.