Image de couverture de livre

Substitution in the lambda Calculus and the role of the Curry School

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Kamareddine, Fairouz
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Intersection Types via Finite-Set Declarations
par: Kamareddine, Fairouz, et autres
Publié: (2024)

The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
par: Kamareddine, Fairouz, et autres
Publié: (2024)

An extended type system with lambda-typed lambda-expressions (extended version)
par: Weber, Matthias
Publié: (2018)

A concrete model for a typed linear algebraic lambda calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2018)

Profinite lambda-terms and parametricity
par: van Gool, Sam, et autres
Publié: (2023)

A Curry-Howard Correspondence for Linear, Reversible Computation
par: Chardonnet, Kostia, et autres
Publié: (2023)

A linear linear lambda-calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2022)

A Complete V-Equational System for Graded lambda-Calculus
par: Dahlqvist, Fredrik, et autres
Publié: (2023)

Complete and Terminating Tableau Calculus for Undirected Graph
par: Nishimura, Yuki, et autres
Publié: (2024)

The Flower Calculus
par: Donato, Pablo
Publié: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

The Tensor-Plus Calculus
par: Chardonnet, Kostia, et autres
Publié: (2025)

Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
par: Congard, Sidney, et autres
Publié: (2025)

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
par: Nogueira, Pablo, et autres
Publié: (2022)

Proofs as Execution Trees for the π-Calculus
par: Acclavio, Matteo, et autres
Publié: (2024)

Groups and Inverse Semigroups in Lambda Calculus
par: Bucciarelli, Antonio, et autres
Publié: (2026)

Quantitative Types for the Functional Machine Calculus
par: Heijltjes, Willem
Publié: (2025)

Six Birds: Foundations of Emergence Calculus
par: Tsiokos, Ioannis
Publié: (2026)

Simply typed convertibility is TOWER-complete even for safe lambda-terms
par: Nguyên, Lê Thành Dũng
Publié: (2023)

A Rewriting Theory for Quantum Lambda-Calculus
par: Faggian, Claudia, et autres
Publié: (2024)

Nested-sequent Calculus for Modal Logic MB
par: Kawano, Tomoaki
Publié: (2024)

A Sequent Calculus For Trace Formula Implication
par: Heidler, Niklas, et autres
Publié: (2025)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
par: Cecilia, Gabriele, et autres
Publié: (2024)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
par: Spronck, Myrthe, et autres
Publié: (2024)

The Functional Machine Calculus III: Choice (Early Announcement)
par: Heijltjes, Willem
Publié: (2024)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
par: Traversié, Thomas
Publié: (2024)

Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
par: Nakamura, Yoshiki
Publié: (2024)

Variable Elimination as Rewriting in a Linear Lambda Calculus
par: Ehrhard, Thomas, et autres
Publié: (2025)

A Classical Linear $λ$-Calculus based on Contraposition
par: Barenbaum, Pablo, et autres
Publié: (2026)

Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
par: Kalala, Kalonji, et autres
Publié: (2025)

A Strong Bisimulation for a Classical Term Calculus
par: Bonelli, Eduardo, et autres
Publié: (2021)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
par: Torres-Ruiz, Mateo, et autres
Publié: (2025)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
par: Cecilia, Gabriele
Publié: (2025)

A Deductive Refinement Calculus for Differential-Algebraic Programs
par: Hellwig, Jonathan, et autres
Publié: (2026)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
par: Traversié, Thomas
Publié: (2024)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
par: Genco, Francesco A., et autres
Publié: (2023)

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
par: Irani, Khashayar
Publié: (2025)

A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
par: Ernst, Gidon
Publié: (2026)

A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels
par: Gao, Han, et autres
Publié: (2025)

Simulating dynamic systems using Linear Time Calculus theories
par: Bogaerts, Bart, et autres
Publié: (2014)