Fernando Pastawski

According to our database, Fernando Pastawski authored at least 3 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Limitations of passive protection of quantum information.

Fernando Pastawski, Alastir Kay, Norbert Schuch, J. Ignacio Cirac

Quantum Inf. Comput., 2010

2006

CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions.

Gilles Barthe, Benjamin Grégoire, Fernando Pastawski

Proceedings of the Logic for Programming, 2006

2005

Practical Inference for Type-Based Termination in a Polymorphic Setting.

Gilles Barthe, Benjamin Grégoire, Fernando Pastawski

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005