Remarks on Barr's Theorem: Proofs in Geometric Theories

First Author: Rathjen M
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