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

by P Urzyczyn
Venue:In TLCA