Computing Publications

Publications Home » From X to Pi: Representing Classi...

From X to Pi: Representing Classical Sequent Calculus in Pi-calculus

Luca Cardelli, Steffen van Bakel, Maria Vigliotti

Conference or Workshop Paper
International Workshop on Classical Logic and Computation (CL&C'08)
2009
Keywords
AESOP
Theory of Computational Systems
PDF of full publication (172 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.