Tripos theory in retrospect (0)

by Andrew M Pitts
Venue:Math. Struct. in Comput. Sci