Zobrazeno 1 - 10
of 6 072
pro vyhledávání: '"Combinatory logic"'
Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
Autor:
Walsh, Sean
A system $\boldsymbol\lambda_{\upsilon}$ is developed that combines modal logic and simply-typed lambda calculus, and that generalizes the system studied by Montague and Gallin. Whereas Montague and Gallin worked with Church's simple theory of types,
Externí odkaz:
http://arxiv.org/abs/2410.17463
Autor:
Saville, Philip
Publikováno v:
In: Kobayashi, N., Worrell, J. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2024. Lecture Notes in Computer Science, vol 14575. Springer, Cham
We give an exposition of the semantics of the simply-typed lambda-calculus, and its linear and ordered variants, using multi-ary structures. We define universal properties for multicategories, and use these to derive familiar rules for products, tens
Externí odkaz:
http://arxiv.org/abs/2405.01675
Autor:
Katalin Bimbo
Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic. This comprehensive reference on combinatory logic covers results in the field from the last four decades along with classical informatio
Autor:
Kašterović, Simona, Ghilezan, Silvia
We develop a classical propositional logic for reasoning about combinatory logic. We define its syntax, axiomatic system and semantics. The syntax and axiomatic system are presented based on classical propositional logic, with typed combinatory terms
Externí odkaz:
http://arxiv.org/abs/2212.06675
Autor:
Cantini, Andrea
Publikováno v:
The Journal of Symbolic Logic, 2003 Dec 01. 68(4), 1091-1108.
Externí odkaz:
https://www.jstor.org/stable/4147750
