Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Gibbons, J
Ձևաչափ: Record
Հրապարակվել է: 1999