Utilize este identificador para referenciar este registo: http://hdl.handle.net/10451/14097
Título: The call-by-value $\lambda$-calculus, the SECD machine, and the $\pi$-calculus
Autor: Vasconcelos, Vasco T.
Data: Mai-2000
Editora: Department of Informatics, University of Lisbon
Relatório da Série N.º: di-fcul-tr-00-3
Resumo: We present an encoding of the call-by-value $\lambda$-calculus into the $\pi$-calculus, alternative to the well-known Milner's encodings. We show that our encoding is barbed congruent (under typed contexts) to Milner's "light" encoding, and that it takes two $\pi$-steps to mimic a beta-reduction for normalizing terms. We describe a translation of Plotkin's SECD machine into the $\pi$-calculus, and show that there is an operational correspondence between a SECD machine and its encoding. Equipped with a notion of a state-based machine and two kinds of correspondences between them, we compare the encodings of the call-by-value $\lambda$-calculus and the SECD machine into the $\pi$-calculus
URI: http://hdl.handle.net/10451/14097
http://repositorio.ul.pt/handle/10455/2995
Aparece nas colecções:FC-DI - Technical Reports

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
00-3.pdf320,2 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.