Alejandro Díaz-Caro
27
Documents
Publications
Publications
|
|
Proceedings of QPL 202522nd International Conference on Quantum Physics and Logic (QPL 2025), Jul 2025, Varna, Bulgaria. Electronic Proceedings in Theoretical Computer Science, 426, 2025, ⟨10.4204/EPTCS.426⟩
Proceedings/Recueil des communications
hal-05249976
v1
|
|
|
Towards a Computational Quantum Logic21st Conference on Computability in Europe, CiE 2025, Jul 2025, Lisbon, Portugal. Lecture Notes in Computer Science, 15764, Springer Nature Switzerland; Springer Nature Switzerland, pp.34-46, 2025, Lecture Notes in Computer Science, 978-3-031-95907-3. ⟨10.1007/978-3-031-95908-0_3⟩
Proceedings/Recueil des communications
hal-05129482
v1
|
|
|
Proceedings of QPL 202421st International Conference on Quantum Physics and Logic, Jul 2024, Buenos Aires, Argentina. Electronic Proceedings in Theoretical Computer Science, 406, 2024, ⟨10.4204/EPTCS.406⟩
Proceedings/Recueil des communications
hal-05249986
v1
|
|
|
A Quantum-Control Lambda-Calculus with Multiple Measurement BasesAPLAS 2025 - 23rd Asian Symposium on Programming Languages and Systems, Oct 2025, Bengaluru, India
Communication dans un congrès
hal-05249919
v1
|
|
|
IMALL with a Mixed-State Modality: A Logical Approach to Quantum ComputationAPLAS 2025 - 23rd Asian Symposium on Programming Languages and Systems, Oct 2025, Bengaluru, India
Communication dans un congrès
hal-05209450
v1
|
A Linear Proof Language for Second-Order Intuitionistic Linear LogicLogic, Language, Information, and Computation - WoLLIC 2024, Jun 2024, Bern, Switzerland. pp.18-35, ⟨10.1007/978-3-031-62687-6_2⟩
Communication dans un congrès
hal-05265661
v1
|
|
|
|
Functional Pearl: The Distributive $\lambda$-CalculusFLOPS 2020 - 15th International Symposium on Functional and Logic Programming, Sep 2020, Akita, Japan. pp.33-49, ⟨10.1007/978-3-030-59025-3_3⟩
Communication dans un congrès
hal-03089254
v1
|
|
|
Realizability in the Unitary Sphere34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), Jun 2019, Vancouver, Canada
Communication dans un congrès
hal-02175168
v1
|
|
|
Proof Normalisation in a Logic Identifying Isomorphic PropositionsFSCD 2019 - International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany
Communication dans un congrès
hal-02909135
v1
|
|
|
Typing Quantum Superpositions and MeasurementTPNC 2017 - 6th International Conference on the Theory and Practice of Natural Computing, Dec 2017, Prague, Czech Republic. pp.13, ⟨10.1007/978-3-319-71069-3_22⟩
Communication dans un congrès
hal-01670387
v1
|
|
|
The probability of non-confluent systemsDCM - 9th International Workshop on Developments in Computational Models - 2013, Aug 2013, Buenos Aires, Argentina. pp.1-15, ⟨10.4204/EPTCS.144.1⟩
Communication dans un congrès
hal-00919546
v1
|
|
|
Call-by-value non-determinism in a linear logic type disciplineLFCS - Logical Foundations of Computer Science - 2013, Jan 2013, San Diego, CA, United States. pp.164-178, ⟨10.1007/978-3-642-35722-0_12⟩
Communication dans un congrès
hal-00919463
v1
|
|
|
Non determinism through type isomorphismLSFA - 7th Workshop on Logical and Semantic Frameworks with Applications - 2012, Sep 2012, Rio de Janeiro, Brazil. pp.137-144, ⟨10.4204/EPTCS.113.13⟩
Communication dans un congrès
hal-00925001
v1
|
|
|
Linearity in the non-deterministic call-by-value settingWoLLIC - 19th International Workshop on Logic, Language, Information and Computation - 2012, Sep 2012, Buenos Aires, Argentina. pp.216-231, ⟨10.1007/978-3-642-32621-9_16⟩
Communication dans un congrès
hal-00924992
v1
|
|
|
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-CalculusDCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. pp.1-15, ⟨10.4204/EPTCS.88.1⟩
Communication dans un congrès
hal-00924926
v1
|
|
|
Confluence via strong normalisation in an algebraic lambda-calculus with rewritingLSFA - 6th Workshop on Logical and Semantic Frameworks with Applications - 2011, Aug 2011, Belo Horizonte, Brazil. pp.16-29, ⟨10.4204/EPTCS.81.2⟩
Communication dans un congrès
hal-00924938
v1
|
|
|
Measurements and confluence in quantum lambda calculi with explicit qubitsQPL/DCM - Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models - 2008, Jul 2008, Reykjavik, Iceland. pp.59-74, ⟨10.1016/j.entcs.2011.01.006⟩
Communication dans un congrès
hal-00924875
v1
|
|
|
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical LogicQPL 2009 - International Workshop on Quantum Physics and Logic, Apr 2009, Oxford, United Kingdom. pp.219-229, ⟨10.1016/j.entcs.2011.01.033⟩
Communication dans un congrès
hal-00924890
v1
|
|
|
Equivalence of algebraic λ-calculiHOR - 5th International Workshop on Higher-Order Rewriting - 2010, Eduardo Bonelli, Jul 2010, Edinburgh, United Kingdom. pp.6-11
Communication dans un congrès
hal-00924912
v1
|
|
|
An Algebraic Extension of Intuitionistic Linear Logic: The LS!-Calculus and Its Categorical ModelJournal of Logic and Computation, In press
Article dans une revue
hal-05249959
v1
|
|
|
Extensional proofs in a propositional logic modulo isomorphismsTheoretical Computer Science, 2023, 977, pp.114172. ⟨10.1016/j.tcs.2023.114172⟩
Article dans une revue
hal-04504753
v1
|
|
|
Two linearities for quantum computing in the lambda calculusBioSystems, 2019
Article dans une revue
hal-02909128
v1
|
|
|
The vectorial λ-calculusInformation and Computation, 2017, 254 (1), pp.105--139. ⟨10.1016/j.ic.2017.04.001⟩
Article dans une revue
hal-01785464
v1
|
|
|
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculusLogical Methods in Computer Science, 2014, 10:4 (8), pp.40. ⟨10.2168/LMCS-10(4:8)2014⟩
Article dans une revue
hal-01097602
v1
|
|
|
A System F accounting for scalarsLogical Methods in Computer Science, 2012, 8 (1), pp.11. ⟨10.2168/LMCS-8(1:11)2012⟩
Article dans une revue
hal-00924944
v1
|
|
|
Proving Termination With CPO --Full Version2025
Autre publication scientifique
hal-05146299
v2
|
|
|
A logic identifying isomorphic propositions2018
Pré-publication, Document de travail
hal-01109104
v5
|
Chargement...
Chargement...