scientific article; zbMATH DE number 2038177
From MaRDI portal
Publication:4449007
Recommendations
- scientific article; zbMATH DE number 823591
- Classical combinatory logic
- scientific article; zbMATH DE number 2024631
- scientific article; zbMATH DE number 4045707
- Binary lambda calculus and combinatory logic
- Combinator logics
- Functional completeness of the mixed \(\lambda\)-calculus and combinatory logic
- Lambda calculus and intuitionistic linear logic
- Combinatory logic and the semantics of substructural logics
- Non deterministic classical logic: the $\lambda\mu^{++}$-calculus
Cited in
(17)- Non deterministic classical logic: the $\lambda\mu^{++}$-calculus
- scientific article; zbMATH DE number 5722460 (Why is no real title available?)
- scientific article; zbMATH DE number 2038761 (Why is no real title available?)
- On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic
- Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations
- Preface
- Denotational semantics of the simplified lambda-mu calculus and a new deduction system of classical type theory
- scientific article; zbMATH DE number 1159511 (Why is no real title available?)
- scientific article; zbMATH DE number 4083581 (Why is no real title available?)
- Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey
- Combining and automating classical and non-classical logics in classical higher-order logics
- Classical combinatory logic
- scientific article; zbMATH DE number 823591 (Why is no real title available?)
- The Logic of Calculation
- scientific article; zbMATH DE number 1678362 (Why is no real title available?)
- scientific article; zbMATH DE number 1670497 (Why is no real title available?)
- On the computational representation of classical logical connectives
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4449007)
