A computational interpretation of forcing in type theory
Kapitel i bok, 2012
Författare
Thierry Coquand
Göteborgs universitet
G. Jaber
Ecole des Mines de Nantes
Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of per Martin-Löf
203-213
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-94-007-4435-6_10