Electronic Notes in Theoretical Computer Science, Volume 34

Volume 34, 2000

• Lars Birkedal:
  Developing Theories of Types and Computability via Realizability.
  Electronic Edition (link) BibTeX