Topological Completeness for Higher-Order Logic (1997)

by Steve Awodey , Carsten Butz
Venue:Journal of Symbolic Logic
Citations:8 - 3 self

Documents Related by Co-Citation

924 Categories for the working mathematician – S Mac Lane - 1971
183 Completeness in the theory of types – L Henkin - 1950
185 Topos theory – P T Johnstone - 1977
189 Sheaves in Geometry and Logic. A First Introduction to Topos Theory – I Moerdijk, S M Lane - 1992
851 A formulation of the simple theory of types – Alonzo Church - 1940
139 Introduction to Higher-order Categorical Logic – J Lambek, P Scott - 1986
308 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof – Peter B Andrews - 1986
1118 The Lambda Calculus: its Syntax and Semantics – H P Barendregt - 1984
49 Sheaves and logic – M P Fourman, D S Scott - 1979