Abstract Correction of Functional Programs

Alpuente Frasnedo María, Escobar Román Santiago, Lucas Alba Salvador

2003

Electronic Notes in Theoretical Computer Science