Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
Isomorphisms of Types
nidottu,
2011,
englanti,
ISBN 9781461275855
This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming …