conference paper
Types and confluence in lambda calculus
2001
3rd Panhellenic Logic Symposium
Type
conference paper
Author(s)
Date Issued
2001
Published in
3rd Panhellenic Logic Symposium
Start page
17
End page
21
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record