Termination in simply typed lambda calculus

Activity: Lecture / PresentationAcademic

Period14 Jan 2000
Held atTsukuba University seminar
Event typeSeminar