Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

מידע ביבליוגרפי
מחבר ראשי: Gibbons, J
פורמט: Record
יצא לאור: 1999