Search alternatives:
ontology ontology » ontologies ontology
Cover Image
Read Now

1
Published 2012
Springer Netherlands
Table of Contents: “... Theory and Homotopy: Steve Awodey -- Chapter 10. A Computational Interpretation of Forcing in Type Theory...”
Cover Image
Read Now

2
Published 2009
Springer Netherlands
Table of Contents: “...: On the Foundation of Homotopy Theory -- Program Extraction in Constructive Analysis -- Brouwer’s Approximate Fixed...”