Filtrer vos résultats
- 11
- 8
- 13
- 5
- 1
- 19
- 3
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 4
- 2
- 1
- 19
- 6
- 5
- 5
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 19
- 5
- 5
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
19 résultats
|
|
triés par
|
|
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-00924992v1
|
||
|
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-00919463v1
|
||
|
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-00924944v1
|
||
|
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-00925001v1
|
||
|
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-02909135v1
|
||
|
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-00924912v1
|
||
|
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-03089254v1
|
||
|
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-01670387v1
|
||
|
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-01097602v1
|
||
|
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-00924890v1
|
||
|
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-00919546v1
|
||
|
A logic identifying isomorphic propositions2018
Pré-publication, Document de travail
hal-01109104v5
|
||
|
The vectorial λ-calculusInformation and Computation, 2017, 254 (1), pp.105--139. ⟨10.1016/j.ic.2017.04.001⟩
Article dans une revue
hal-01785464v1
|
||
|
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-00924875v1
|
||
|
Two linearities for quantum computing in the lambda calculusBioSystems, 2019
Article dans une revue
hal-02909128v1
|
||
|
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-02175168v1
|
||
|
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-04504753v1
|
||
|
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-00924926v1
|
||
|
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-00924938v1
|