Fernando Pastawski

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Fernando Pastawski, Alastir Kay, Norbert Schuch, J. Ignacio Cirac
Limitations of passive protection of quantum information. Quantum Inf. Comput. 10 (7&8) (2010)
Gilles Barthe, Benjamin Grégoire, Fernando Pastawski
CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions. LPAR (2006)
Gilles Barthe, Benjamin Grégoire, Fernando Pastawski
Practical Inference for Type-Based Termination in a Polymorphic Setting. TLCA (2005)