Volume 34, 2000
Lars Birkedal: Developing Theories of Types and Computability via Realizability. 2
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team