Results 11 to 20 of about 11,463 (263)
On Reversible Combinatory Logic
Electronic Notes in Theoretical Computer Science, 2006 AbstractThe λ-calculus is destructive: its main computational mechanism – beta reduction – destroys the redex and makes it thus impossible to replay the computational steps. Recently, reversible computational models have been studied mainly in the context of quantum computation, as (without measurements) quantum physics is inherently reversible ...
Di Pierro, Alessandra +2 more
openaire +3 more sources
Functionality in Combinatory Logic [PDF]
Proceedings of the National Academy of Sciences, 1934 openaire +5 more sources
Addressing Machines as models of lambda-calculus [PDF]
Logical Methods in Computer Science, 2022 Turing machines and register machines have been used for decades in theoretical computer science as abstract models of computation. Also the $\lambda$-calculus has played a central role in this domain as it allows to focus on the notion of functional ...
Giuseppe Della Penna +2 more
doaj +1 more source
A Forgotten Theory of Proofs ? [PDF]
Logical Methods in Computer Science, 2019 Looking at MacLane's thesis on proof theory in the light of combinatory ...
Erwin Engeler
doaj +1 more source
Implementing Natural Language Inference for comparatives
Journal of Language Modelling, 2023 This paper presents a computational framework for Natural Language Inference (NLI) using logic-based semantic representations and theorem-proving. We focus on logical inferences with comparatives and other related constructions in English, which are ...
Izumi Haruta +2 more
doaj +1 more source
CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We introduce an approach that aims to combine the usage of satisfiability modulo theories (SMT) solvers with the Combinatory Logic Synthesizer (CL)S framework.
Fadil Kallat +2 more
doaj +1 more source
User Support for the Combinator Logic Synthesizer Framework [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Usability is crucial for the adoption of software development technologies. This is especially true in development stages, where build processes fail, because software is not yet complete or was incompletely modified.
Jan Bessai, Anna Vasileva
doaj +1 more source
Equipotential Space in Housing as a Strategy for Adaptability
Materia Arquitectura, 2021 Architecture must provide answers, in the domestic realm, to the constant and vertiginous change in contemporary society’s needs and lifestyles. For this reason, we propose to examine the concept of 'adaptability' in housing based on the study of a ...
José Luis Bezos Alonso
doaj +1 more source
Derivation Lengths Classification of G\"odel's T Extending Howard's Assignment [PDF]
Logical Methods in Computer Science, 2012 Let T be Goedel's system of primitive recursive functionals of finite type in the lambda formulation. We define by constructive means using recursion on nested multisets a multivalued function I from the set of terms of T into the set of natural numbers ...
Gunnar Wilken, Andreas Weiermann
doaj +1 more source
Logical Combinatorialism [PDF]
The Philosophical Review, 2020 In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to
openaire +1 more source