V Danos, C Laneve

Theoretical Computer Science 325 (1), 69-110, 2004

V Danos, L Regnier

Archive for Mathematical logic 28 (3), 181-203, 1989

V Danos, J Feret, W Fontana, R Harmer, J Krivine

CONCUR 2007 - Concurrency Theory, 18th International Conference, 17-41, 2007

AY Weiße, DA Oyarzún, V Danos, PS Swain

Proceedings of the National Academy of Sciences 112 (9), E1038-E1047, 2015

V Danos

These de Doctorat, Université Paris 7, 1990

V Danos, J Krivine

International Conference on Concurrency Theory, 292-307, 2004

J Feret, V Danos, J Krivine, R Harmer, W Fontana

Proceedings of the National Academy of Sciences 106 (16), 6453-6458, 2009

V Danos, J Feret, W Fontana, J Krivine

Asian Symposium on Programming Languages and Systems, 139-157, 2007

N Chabrier-Rivier, M Chiaverini, V Danos, F Fages, V Schächter

Theoretical Computer Science 325 (1), 25-44, 2004

V Danos, E Kashefi, P Panangaden

Journal of the ACM (JACM) 54 (2), 8-es, 2007

V Danos, JB Joinet, H Schellinx

The Journal of Symbolic Logic 62 (3), 755-807, 1997

V Danos, E Kashefi

Physical Review A—Atomic, Molecular, and Optical Physics 74 (5), 052310, 2006

V Danos, H Herbelin, L Regnier

Proceedings of LICS'96 96, 394-405, 1996

V Danos, RS Harmer

ACM Transactions on Computational Logic (TOCL) 3 (3), 359-382, 2002

V Danos, JB Joinet, H Schellinx

Proceedings of the workshop on Advances in linear logic, 211-224, 1995

V Danos, JB Joinet

Information and Computation 183 (1), 123-137, 2003

B Coyle, D Mills, V Danos, E Kashefi

npj Quantum Information 6 (60), 2020

V Danos, L Regnier

London Mathematical Society Lecture Note Series, 307-328, 1995

V Danos, L Regnier

Theoretical Computer Science 227 (1-2), 79-98, 1999

V Danos, J Feret, W Fontana, J Krivine

International Workshop on Verification, Model Checking, and Abstract …, 2008