The foundations of partial type theory (1982)

by Pavel Tichý
Venue:Reports on Mathematical Logic