Vladimir Zamdzhiev

Vladimir Zamdzhiev

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France
Natural Sciences / Physics
AD Scientific Index ID: 4440884
French National Institute for Research in Computer Science and Control
person_outline Vladimir Zamdzhiev's MOST POPULAR ARTICLES
1-) Enriching a linear/non-linear lambda calculus: A programming language for string diagrams Logic in Computer Science 2018, 2018
2-) The ZX-calculus is incomplete for quantum mechanics Quantum Physics and Logic 2014, 2014
3-) MathML-aware article conversion from LATEX Towards a Digital Mathematics Library. Grand Bend, Ontario, Canada, July 8 …, 2009
4-) Enriching a linear/non-linear lambda calculus: A programming language for string diagrams Logic in Computer Science 2018, 2018
5-) Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. FoSSaCS, 562-581, 2020