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
Reducibility method for termination properties of typed lambda terms
Loading...
Loading...
conference paper
Reducibility method for termination properties of typed lambda terms
Ghilezan, Silvia
•
Kuncak, Viktor
•
Likavec, Silvia
2001
Fifth International Workshop on Termination
Details
Metrics