You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Imperial College London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Imperial College London

Return to search Previous output Next output

Output 15 of 201 in the submission

Output title

A logical interpretation of the lambda-calculus into the pi-calculus, preserving spine reduction and types

Type

E - Conference contribution

DOI

10.1007/978-3-642-04081-8_7

Name of conference/published proceedings

20th International Conference on Concurrency Theory (CONCUR'09)

Volume number

5710

Issue number

First page of article

ISSN of proceedings

0302-9743

Year of publication

2009

URL

Number of additional authors

Additional information

<11> This paper presents a logical encoding of the lambda calculus into the pi calculus that is fundamentally different from all previous encodings, all more or less based on Milner's encoding. The logical encoding stands out because of its elegance and simplicity and has its foundation in the relation between sequent calculi and natural deduction, and allows for a better representation of beta-reduction. This approach has been picked up by others working in the area (Hirschkoff etal, CONCUR'12), and has led amongst others to a 'light' encoding of Parigot's lambda-mu in pi (van Bakel-Vigliotti, IFIPTCS'12). (Concur'09: 29% out 130)

Interdisciplinary

Cross-referral requested

Research group

E - Programming Languages and Systems

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract