Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Бібліографічні деталі
Автор: Gibbons, J
Формат: Record
Опубліковано: 1999