The „Dialectica”︁ Interpretation and Categories

DOI10.1002/MALQ.19780243109zbMath0409.03034OpenAlexW2109101711MaRDI QIDQ4196420

Philip J. Scott

Publication date: 1978

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19780243109

zbMATH Keywords

Goedel's Dialectic InterpretationIdempotent Endo-FunctorIntui- Arithmetic in All Finite Function Types

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Foundations, relations to logic and deductive systems (18A15)

Related Items (2)

On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ Categorical semantics for higher order polymorphic lambda calculus

This page was built for publication: The „Dialectica”︁ Interpretation and Categories