Enrique Freire Brañas

Publication Activity (10 Years)

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

Publications

José Luis Freire-Nistal, Antonio Blanco Ferro, J. M. Molinelli Barba, Enrique Freire Brañas
On the Confluence of the Graphic Calculus with Penrose Diagrams (I). EUROCAST (1) (2011)
Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París
The Foldl Operator as a Coequalizer Using Coq. EUROCAST (2009)
José Luis Freire-Nistal, Enrique Freire Brañas, Antonio Blanco Ferro, David Cabrero Souto
On the Representation of Imperative Programs in a Logical Framework. EUROCAST (2007)
José Luis Freire, Enrique Freire Brañas, Antonio Blanco
On Recursive Functions and Well-Founded Relations in the Calculus of Constructions. EUROCAST (2005)