J. E. Freire

According to our database, J. E. Freire authored at least 1 paper in 2007.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2007

Using Coq to Understand Nested Datatypes.

Antonio Blanco, J. E. Freire, José Luis Freire

Proceedings of the Computer Aided Systems Theory, 2007