Publisher
Springer International Publishing
Reference28 articles.
1. Awodey, S. (2000). Topological representation of the lambda-calculus. Mathematical Structures in Computer Science, 1(10), 81–96.
2. Awodey, S. (2018a). Natural models of homotopy type theory. Mathematical Structures in Computer Science, 28(2), 241–286.
3. Awodey, S. (2018b). Univalence as a principle of logic. Indagationes Mathematicae, Special Issue – L.E.J. Brouwer After 50 Years, 29, 1497–1510.
4. Awodey, S., & Bauer, A. (2004). Propositions as [types]. Journal of Logic and Computation, 14(4), 447–471.
5. Awodey, S., & Butz, C. (2000). Topological completeness for higher-order logic. Journal of Symbolic Logic, 3(65), 1168–1182.