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

928 S.: Categories for the Working Mathematician – Mac Lane - 1998
184 Completeness in the Theory of Types – L Henkin - 1950
187 Topos Theory – P T Johnstone - 1977
190 Sheaves in Geometry and Logic: a First Introduction to Topos Theory. Universitext – S Mac Lane, I Moerdijk - 1992
857 A formulation of the simple theory of types – Alonzo Church - 1940
140 Introduction to Higher-Order Categorical Logic – J Lambek, P Scott - 1986
310 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof – P Andrews - 2002
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
49 Sheaves and logic – M P Fourman, D S Scott - 1979