Developing theories of types and computability via realizability (2000)

by L Birkedal
Venue:Electronic Notes in Theoretical Computer Science