Filtrer vos résultats
- 7
- 5
- 2
- 7
- 2
- 1
- 2
- 3
- 1
- 7
- 7
- 6
- 6
- 4
- 1
- 7
- 7
- 4
- 3
- 1
7 résultats
|
|
triés par
|
|
The Many-Worlds Calculus2022
Pré-publication, Document de travail
hal-03654190v2
|
||
|
A Curry-Howard Correspondence for Linear, Reversible Computation2022
Pré-publication, Document de travail
hal-03747425v1
|
||
|
Toward a Curry-Howard Equivalence for Linear, Reversible ComputationRC 2020 - 12th international conference on Reversible Computation, Jul 2020, Oslo / Virtual, Norway. pp.144-152, ⟨10.1007/978-3-030-52482-1_8⟩
Communication dans un congrès
hal-03103455v1
|
||
|
Geometry of Interaction for ZX-DiagramsTLLA 2021 - 5th International Workshop on Trends in Linear Logic and Applications, Jun 2021, Rome / Virtual, Italy
Communication dans un congrès
lirmm-03272411v1
|
||
|
A Curry-Howard Correspondence for Linear, Reversible ComputationCSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Bartek Klin and Elaine Pimentel, Feb 2023, Varsovie (Warsaw), Poland. ⟨10.4230/LIPIcs.CSL.2023.13⟩
Communication dans un congrès
hal-04308283v1
|
||
|
Geometry of Interaction for ZX-DiagramsMFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. pp.30:1--30:16, ⟨10.4230/LIPIcs.MFCS.2021.30⟩
Communication dans un congrès
hal-03154573v1
|
||
|
Towards a Curry-Howard Correspondence for Linear, Reversible Computation5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
Communication dans un congrès
lirmm-03271484v1
|