Sciweavers

ENTCS
2000

Developing Theories of Types and Computability via Realizability

13 years 11 months ago
Developing Theories of Types and Computability via Realizability
Lars Birkedal
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2000
Where ENTCS
Authors Lars Birkedal
Comments (0)