Buchumschlag

A concrete model for a typed linear algebraic lambda calculus

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Díaz-Caro, Alejandro, Malherbe, Octavio
Format:	Preprint
Veröffentlicht:	2018
Schlagworte:	Logic in Computer Science Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A linear linear lambda-calculus
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2022)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Basis-Sensitive Quantum Typing via Realisability
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

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

The Sup Connective in IMALL: A Categorical Semantics
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2022)

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

An extended type system with lambda-typed lambda-expressions (extended version)
von: Weber, Matthias
Veröffentlicht: (2018)

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

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

Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program
von: Díaz-Caro, Alejandro
Veröffentlicht: (2025)

Interpolation for the two-way modal mu-calculus
von: Kloibhofer, Johannes, et al.
Veröffentlicht: (2025)

Cut-elimination for the alternation-free modal mu-calculus
von: Afshari, Bahareh, et al.
Veröffentlicht: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

Profinite lambda-terms and parametricity
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

A new introduction rule for disjunction
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

Substitution in the lambda Calculus and the role of the Curry School
von: Kamareddine, Fairouz
Veröffentlicht: (2024)

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
von: Dave, Kinnari, et al.
Veröffentlicht: (2025)

Profinite trees, through Lawvere theories and the lambda-calculus
von: Moreau, Vincent
Veröffentlicht: (2024)

Difference-restriction algebras with operators
von: Borlido, Célia, et al.
Veröffentlicht: (2025)

Nelson algebras, residuated lattices and rough sets: A survey
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
von: Alvarez, David Quinn
Veröffentlicht: (2025)

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

Convex algebras on an interval with semicontinuous monotone operations
von: Sokolova, Ana, et al.
Veröffentlicht: (2026)

Formula size game and model checking for modal substitution calculus
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2025)

A dependently-typed calculus of event telicity and culminativity
von: Kovalev, Pavel, et al.
Veröffentlicht: (2025)

Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)

Expectation-based Analysis of Higher-Order Quantum Programs
von: Avanzini, Martin, et al.
Veröffentlicht: (2025)

Resource approximation for the $λμ$-calculus
von: Barbarossa, Davide
Veröffentlicht: (2024)

The calculus of neo-Peircean relations
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

The higher dimensional propositional calculus
von: Bucciarelli, Antonio, et al.
Veröffentlicht: (2022)

Bijective proofs for Eulerian numbers of types B and D
von: Santocanale, Luigi
Veröffentlicht: (2021)

List types for resource aware languages: an implicit name approach
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)

An implicit function theorem for the stream calculus
von: Boreale, Michele, et al.
Veröffentlicht: (2023)

Higher order differential calculus in mathlib
von: Gouëzel, Sébastien
Veröffentlicht: (2025)

Approximation theory for distant Bang calculus
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2026)

On the complexity of normalization for the planar $λ$-calculus
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

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

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)