scientific article; zbMATH DE number 2038177
From MaRDI portal
Publication:4449007
zbMATH Open1034.03011MaRDI QIDQ4449007FDOQ4449007
Authors: Kensuke Baba, Yukiyoshi Kameyama, Sachio Hirokawa 
Publication date: 12 February 2004
Title of this publication is not available (Why is that?)
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
lambda calculusprogrammingcombinatorsreduction rulesdouble-negation-elimination ruleelimination rule of falsehoodPeirce formula
Cited In (17)
- Non deterministic classical logic: the $\lambda\mu^{++}$-calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic
- Preface
- Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations
- Denotational semantics of the simplified lambda-mu calculus and a new deduction system of classical type theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- The Logic of Calculation
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
