Electronic Notes in Theoretical Computer Science
, Volume 34
Volume 34, 2000
Lars Birkedal
:
Developing Theories of Types and Computability via Realizability.
Copyright ©
Mon Mar 15 04:00:54 2010 by
Michael Ley
(
ley@uni-trier.de
)
