Pages that link to "Item:Q769601"

The following pages link to Combinatory logic. With two sections by William Craig. (Q769601):

Displaying 50 items.

• The semantics of entailment omega (Q1430899) (← links)
• Generalized filter models (Q1575259) (← links)
• A Gentzen-style sequent calculus of constructions with expansion rules (Q1575638) (← links)
• On principal types of combinators (Q1583260) (← links)
• Semantics for dual and symmetric combinatory calculi (Q1826434) (← links)
• On the semantics of polymorphism (Q1835664) (← links)
• Normalization, approximation, and semantics for combinator systems (Q1853619) (← links)
• Syntactic type soundness results for the region calculus (Q1854515) (← links)
• Conservation and uniform normalization in lambda calculi with erasing reductions (Q1854562) (← links)
• OTTER experiments in a system of combinatory logic (Q1893130) (← links)
• Normal forms in combinatory logic (Q1903133) (← links)
• NP-completeness of a combinator optimization problem (Q1903594) (← links)
• Logic of determination of objects (LDO): how to articulate ``extension'' with ``intension'' and ``objects'' with ``concepts'' (Q1942336) (← links)
• Curry's formalism as structuralism (Q1942337) (← links)
• Term-space semantics of typed lambda calculus (Q1981989) (← links)
• Monadic pseudo BCI-algebras and corresponding logics (Q2001173) (← links)
• Algorithmic reduction of biological networks with multiple time scales (Q2051597) (← links)
• The tree-generative capacity of combinatory categorial grammars (Q2051866) (← links)
• Constructive mathematics, Church's thesis, and free choice sequences (Q2117809) (← links)
• Combinatory logic with polymorphic types (Q2144609) (← links)
• Finite generation and presentation problems for lambda calculus and combinatory logic (Q2151418) (← links)
• On a machine-checked proof for fraction arithmetic over a GCD domain (Q2217198) (← links)
• Composition of deductions within the propositions-as-types paradigm (Q2228351) (← links)
• Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561) (← links)
• New proofs of important theorems of untyped extensional \(\lambda\) calculus (Q2263308) (← links)
• The harmony of identity (Q2281316) (← links)
• Logic of typical and atypical instances of a concept -- a mathematical model (Q2306642) (← links)
• Linear numeral systems (Q2331071) (← links)
• Why ramify? (Q2354627) (← links)
• Intersection types and lambda models (Q2369008) (← links)
• Types for modules (Q2375744) (← links)
• A canonical locally named representation of binding (Q2392482) (← links)
• On explicit substitution with names (Q2392486) (← links)
• State-transition machines for lambda-calculus expressions (Q2464714) (← links)
• AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920) (Q2481250) (← links)
• Logic of subtyping (Q2500487) (← links)
• Proof-theoretic semantics for classical mathematics (Q2500813) (← links)
• The lambda-gamma calculus: A language adequate for defining recursive functions (Q2542069) (← links)
• A modern elaboration of the ramified theory of types (Q2563450) (← links)
• About probability-like measures for entire theories (Q2625302) (← links)
• Combinatory logic and the semantics of substructural logics (Q2642518) (← links)
• Second-order properties of undirected graphs (Q2695354) (← links)
• Asymptotic Properties of Combinatory Logic (Q2948454) (← links)
• On the Logic of Expansion in Natural Language (Q2964007) (← links)
• Krivine Machines and Higher-Order Schemes (Q3012917) (← links)
• Covert Movement in Logical Grammar (Q3013021) (← links)
• Extracting a DPLL Algorithm (Q3178287) (← links)
• Automath Type Inclusion in Barendregt’s Cube (Q3194722) (← links)
• A new type assignment for λ-terms (Q3208623) (← links)
• Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)