Loading...
conference paper
Types and confluence in lambda calculus
2001
3rd Panhellenic Logic Symposium
Type
conference paper
Authors
Publication date
2001
Published in
3rd Panhellenic Logic Symposium
Start page
17
End page
21
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record