Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Dettagli Bibliografici
Autore principale: Gibbons, J
Natura: Record
Pubblicazione: 1999