Developing theories of types and computability via realizability, volume 34 (2000)

by L Birkedal
Venue:of Electronic Notes in Theoretical Computer Science. Elsevier Science B.V