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
- 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
|
Completeness of algebraic CPS simulationsDCM 2011 - International Workshop on Developments of Computational Methods (satellite event of ICALP 2011), Jul 2011, Zurich, Switzerland. pp.16-27, ⟨10.4204/EPTCS.88.2⟩
Communication dans un congrès
hal-00932770v1
|