Details
Title
Confluence of untyped lambda calculus via simple types
Author(s)
Ghilezan, Silvia ; Kuncak, Viktor
Published in
Theoretical Computer Science. ICTCS 2001
Series
Lecture Notes in Computer Science, 2202
Pages
38-49
Conference
7th Italian Conference on Theoretical Computer Science, ICTCS 2001, Torino, Italy, October 4–6, 2001
Date
2001
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work outside EPFL
Conference Papers
Published
Work outside EPFL
Conference Papers
Published
Record creation date
2007-08-21