Inhabitation in typed lambda-calculi (a syntactic approach (1997)

by P Urzyczyn
Venue:Typed Lambda Calculi and Applications, volume 1210 of Lecture Notes in Computer Science