Loading...
2001
Theoretical Computer Science. ICTCS 2001
Confluence of untyped lambda calculus via simple types
conference paper
Type
conference paper
Author(s)
Date Issued
2001
Journal
Theoretical Computer Science. ICTCS 2001
Series title/Series vol.
Lecture Notes in Computer Science; 2202
Start page
38
End page
49
Written at
OTHER
EPFL units
| Event name | Event place | Event date |
Torino, Italy | October 4–6, 2001 | |
Available on Infoscience
August 21, 2007
Use this identifier to reference this record