ISBN-13: 9780521054225 / Angielski / Miękka / 2008 / 200 str.
An introduction to type theory for computer scientists.
Czytaj nas na: