Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Dades bibliogràfiques
Autor principal: Gibbons, J
Format: Record
Publicat: 1999