The following pages link to (Q3912779):
Displaying 48 items.
- Type-theoretic logic with an operational account of intensionality (Q514081) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- A functional programming approach to the specification and verification of concurrent systems (Q909439) (← links)
- A logic of abstraction related to finite constructive number classes (Q910401) (← links)
- Predication and extensionalization (Q1029819) (← links)
- Three theories of nominalized predicates (Q1073011) (← links)
- Some remarks on extending and interpreting theories with a partial predicate for truth (Q1093626) (← links)
- Implication and analysis in classical Frege structures (Q1095139) (← links)
- \(\kappa\)-continuous lattices and comprehension principles for Frege structures (Q1104320) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- A type-free system extending (ZFC) (Q1121865) (← links)
- Partial inductive definitions (Q1177153) (← links)
- Constructing type systems over an operational semantics (Q1199709) (← links)
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Property theory: The type-free approach \(v\). The Church approach (Q1319264) (← links)
- Intensionality and context change. Towards a dynamic theory of propositions and properties (Q1334988) (← links)
- Induction-recursion and initial algebras. (Q1412830) (← links)
- Universes over Frege structures (Q1861539) (← links)
- A type free theory and collective/distributive predication (Q1903083) (← links)
- A type theoretic interpretation of constructive domain theory (Q1923827) (← links)
- Deflationism beyond arithmetic (Q2052155) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- Steps towards a proof-theoretical semantics (Q2339008) (← links)
- Term-generic logic (Q2339466) (← links)
- Equivalences between pure type systems and systems of illative combinatory logic (Q2565990) (← links)
- Indexed induction-recursion (Q2577476) (← links)
- A feasible theory of truth over combinatory algebra (Q2637706) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- Term-Generic Logic (Q3184738) (← links)
- About Truth and Types (Q3305551) (← links)
- BUNDER’S PARADOX (Q3389494) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- Montague semantics, nominalization and Scott's domains (Q3671943) (← links)
- THE CONCEPT<i>HORSE</i>IS A CONCEPT (Q4961743) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
- Adding proof objects and inductive definition mechanisms to frege structures (Q5096212) (← links)
- The Functional Interpretation of Direct Computations (Q5179008) (← links)
- Feferman and the Truth (Q5214789) (← links)
- Natural Deduction for Equality: The Missing Entity (Q5251187) (← links)
- Program Testing and the Meaning Explanations of Intuitionistic Type Theory (Q5253930) (← links)
- Classical lambda calculus in modern dress (Q5269006) (← links)
- A \(\kappa\)-denotational semantics for map theory in ZFC+SI (Q5906925) (← links)
- Variable binding operators in transition system specifications (Q5931555) (← links)
- A type reduction from proof-conditional to dynamic semantics (Q5935790) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)
