Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Podrobná bibliografie
Hlavní autor: Gibbons, J
Médium: Record
Vydáno: 1999