:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Díaz-Caro, Alejandro, Dowek, Gilles
Format:	Preprint
Published:	2022
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2201.11221
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

A new introduction rule for disjunction
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
by: Dowek, Gilles, et al.
Published: (2023)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
by: Blot, Valentin, et al.
Published: (2024)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
by: Nogueira, Pablo, et al.
Published: (2022)

Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program
by: Díaz-Caro, Alejandro
Published: (2025)

Profinite trees, through Lawvere theories and the lambda-calculus
by: Moreau, Vincent
Published: (2024)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

An extended type system with lambda-typed lambda-expressions (extended version)
by: Weber, Matthias
Published: (2018)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Profinite lambda-terms and parametricity
by: van Gool, Sam, et al.
Published: (2023)

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
by: Dave, Kinnari, et al.
Published: (2025)

Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2024)

Substitution in the lambda Calculus and the role of the Curry School
by: Kamareddine, Fairouz
Published: (2024)

Proceedings of the 21st International Conference on Quantum Physics and Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2024)

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Interpolation for the two-way modal mu-calculus
by: Kloibhofer, Johannes, et al.
Published: (2025)

Expectation-based Analysis of Higher-Order Quantum Programs
by: Avanzini, Martin, et al.
Published: (2025)

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

Cut-elimination for the alternation-free modal mu-calculus
by: Afshari, Bahareh, et al.
Published: (2025)

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

A feasible and unitary quantum programming language
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Proceedings of the 22nd International Conference on Quantum Physics and Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

The higher dimensional propositional calculus
by: Bucciarelli, Antonio, et al.
Published: (2022)

Resource approximation for the $λμ$-calculus
by: Barbarossa, Davide
Published: (2024)

The calculus of neo-Peircean relations
by: Bonchi, Filippo, et al.
Published: (2025)

Trees in graphs of large linear cliquewidth
by: Bojańczyk, Mikołaj, et al.
Published: (2025)

How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
by: Cerda, Rémy, et al.
Published: (2023)

An implicit function theorem for the stream calculus
by: Boreale, Michele, et al.
Published: (2023)

Higher order differential calculus in mathlib
by: Gouëzel, Sébastien
Published: (2025)

Approximation theory for distant Bang calculus
by: Chardonnet, Kostia, et al.
Published: (2026)

On the complexity of normalization for the planar $λ$-calculus
by: Das, Anupam, et al.
Published: (2024)

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

A proof theory of right-linear (omega-)grammars via cyclic proofs
by: Das, Anupam, et al.
Published: (2024)

The decohered ZX-calculus
by: Carette, Titouan, et al.
Published: (2025)