Basic Simple Type Theory. Number 42 (2008)

by J Roger Hindley
Venue:in Cambridge Tracts in Theoretical Computer Science