Pages that link to "Item:Q1565537"
From MaRDI portal
The following pages link to A set of postulates for the foundation of logic (Q1565537):
Displaying 32 items.
- Sixty years after Gödel (Q1178182) (← links)
- The lambda-gamma calculus: A language adequate for defining recursive functions (Q2542069) (← links)
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- What is a categorical model of the differential and the resource λ-calculi? (Q2888856) (← links)
- A Vindication of Program Verification (Q2963953) (← links)
- Classical Call-by-Need and Duality (Q3007655) (← links)
- Compact numeral representation with combinators (Q3028973) (← links)
- The Lambda Calculus: Practice and Principle (Q3188288) (← links)
- Arithmetical Predicates and Function Quantifiers (Q3226750) (← links)
- Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I (Q3255342) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- The theory of recursive functions, approaching its centennial (Q3946156) (← links)
- Alonzo Church's Contributions to Philosophy and Intensional Logic (Q4212933) (← links)
- Systems of illative combinatory logic complete for first-order propositional and predicate calculus (Q4276020) (← links)
- Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525) (← links)
- Russell's 1903 - 1905 Anticipation of the Lambda Calculus (Q4448890) (← links)
- A Higher-Order Calculus of Computational Fields (Q4617982) (← links)
- Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic (Q4722038) (← links)
- Canonical typing and ∏-conversion in the Barendregt Cube (Q4895552) (← links)
- Encoding many-valued logic in $\lambda$-calculus (Q5009711) (← links)
- Computation and Indispensability (Q5013616) (← links)
- Hilbert’s Axiomatisches Denken (Q5057047) (← links)
- (Q5119396) (← links)
- (Q5129944) (← links)
- Dynamical Systems Theory and Algorithms for NP-hard Problems (Q5131680) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- HYPERCOMPUTATION: FANTASY OR REALITY? A POSITION PAPER (Q5408360) (← links)
- Recursive Functions and Intuitionistic Number Theory (Q5802130) (← links)
- Propositional Calculus and Realizability (Q5822056) (← links)
- Recursive Functions and Intuitionistic Number Theory (Q5833219) (← links)
- A homogeneous system for formal logic (Q5834313) (← links)
- Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala (Q5883752) (← links)
