Typing quantum superpositions and measurement, Theory and Practice of Natural Computing (TPNC 2017), vol.10687, pp.281-293, 2017. ,
Demostrando normalización fuerte sobre una extensión cuántica del lambda cálculo, Master's thesis, 2018. ,
Linear logic, Theoretical Computer Science, vol.50, pp.1-102, 1987. ,
URL : https://hal.archives-ouvertes.fr/inria-00075966
Computational interpretations of linear logic, Theoretical Computer Science, vol.111, issue.1, pp.3-57, 1993. ,
A functional quantum programming language, Proceedings of LICS 2005, pp.249-258, 2005. ,
Quantum lambda calculus, Semantic Techniques in Quantum Computation, pp.135-172, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00483924
Quipper: a scalable quantum programming language, ACM SIGPLAN Notices (PLDI'13), vol.48, pp.333-342, 2013. ,
Applying quantitative semantics to higher-order quantum computing, ACM SIGPLAN Notices (POPL'14), vol.49, issue.1, pp.647-658, 2014. ,
On quantum lambda calculi: a foundational perspective, Mathematical Structures in Computer Science, vol.26, issue.7, pp.1107-1195, 2016. ,
Lineal: A linear-algebraic lambda-calculus, Logical Methods in Computer Science, vol.13, issue.1, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-00919625
A System F accounting for scalars, Logical Methods in Computer Science, vol.8, issue.1, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00924944
Linearity in the non-deterministic call-by-value setting, Proceedings of WoLLIC 2012, vol.7456, pp.216-231, 2012. ,
,
,
,
, 00) (?.Z |0 (|0 ?not |0 ·|0 ) + ?.Z |0 (|0 ?not |1 ·|1