Remarks on Barr's Theorem: Proofs in Geometric Theories
Attributed to:
Homotopical inductive types
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1515/9781501502620-019
Publication URI: http://dx.doi.org/10.1515/9781501502620-019
Type: Book Chapter
Book Title: Concepts of Proof in Mathematics, Philosophy, and Computer Science (2016)
Page Reference: 347-374
ISBN: 978-1-5015-1080-9