Simon Perdrix
2
Documents
Présentation
I am a [CNRS](http://www.cnrs.fr/) researcher at [LORIA](http://www.loria.fr/), [Inria Project Team CARTE](http://carte.loria.fr/). My research area is Quantum Computing and related topics.
- My [Homepage](http://simon.perdrix.eu).
- My [Google Scholar Citations profile](http://scholar.google.com/citations?user=HDjzFscAAAAJ).
- You can also have a look at [DBLP](http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Perdrix:Simon.html).
- Preprints can be found [here](http://arxiv.org/a/perdrix_s_1).
I am a [CNRS](http://www.cnrs.fr/) researcher at [LORIA](http://www.loria.fr/), [Inria Project Team CARTE](http://carte.loria.fr/). My research area is Quantum Computing and related topics.
- My [Homepage](http://simon.perdrix.eu).
- My [Google Scholar Citations profile](http://scholar.google.com/citations?user=HDjzFscAAAAJ).
- You can also have a look at [DBLP](http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Perdrix:Simon.html).
- Preprints can be found [here](http://arxiv.org/a/perdrix_s_1).
Publications
- 2
- 2
- 1
- 1
- 1
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
|
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
|