 | 2011 |
|---|
| 4 |       | 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: 169-176 |
| 2009 |
|---|
| 3 | | Antonio Blanco,
Enrique Freire Brañas,
José Luis Freire,
Javier París:
The Foldl Operator as a Coequalizer Using Coq.
EUROCAST 2009: 167-176 |
| 2007 |
|---|
| 2 | | 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: 202-209 |
| 2005 |
|---|
| 1 | | José Luis Freire,
Enrique Freire Brañas,
Antonio Blanco:
On Recursive Functions and Well-Founded Relations in the Calculus of Constructions.
EUROCAST 2005: 69-80 |
Data released under the ODC-BY 1.0 license — See also our legal information page