Lambda calculus : A case for inductive definitions (2000)

by R Matthes
Venue:Lecture notes for ESSLLI’2000 (European Summer School in Logic, Language and Information