Sciweavers

ENTCS
2000

Developing Theories of Types and Computability via Realizability

14 years 21 days 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)