Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Categorical ML. Category-theoretic modular programmingDENNIS-JONES, E ; RYDEHEARD, D. EFormal aspects of computing, 1993-07, Vol.5 (4), p.337-366 [Periódico revisado por pares]London: SpringerTexto completo disponível |