Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Bibliografiset tiedot
Päätekijä: Gibbons, J
Aineistotyyppi: Record
Julkaistu: 1999