Connected colimits as types - a categorical data abstraction

Författare
Erik Marklund
Språk
Engelska
Förlag År Ort Om boken ISBN
Univ. 1995 Sverige, Umeå 80 sidor.