A generalization of the Takeuti-Gandy interpretation
Journal article, 2015
IDENTITY
Theory & Methods
Computer Science
Author
B. Barras
Thierry Coquand
University of Gothenburg
Simon Huber
University of Gothenburg
Mathematical Structures in Computer Science
0960-1295 (ISSN) 1469-8072 (eISSN)
Vol. 25 5 1071-1099Subject Categories
Computer and Information Science
DOI
10.1017/s0960129514000504