Skip to main content
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Home
Academic and Research Output
Conferences, Workshops, Symposiums, and Seminars
Types and confluence in lambda calculus
Loading...
Loading...
conference paper
Types and confluence in lambda calculus
Ghilezan, Silvia
•
Kuncak, Viktor
2001
3rd Panhellenic Logic Symposium
Details
Metrics