A generalization of the Takeuti-Gandy interpretation
Artikel i vetenskaplig tidskrift, 2015
IDENTITY
Theory & Methods
Computer Science
Författare
B. Barras
Thierry Coquand
Göteborgs universitet
Simon Huber
Göteborgs universitet
Mathematical Structures in Computer Science
0960-1295 (ISSN) 1469-8072 (eISSN)
Vol. 25 5 1071-1099Ämneskategorier
Data- och informationsvetenskap
DOI
10.1017/s0960129514000504