Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Theories as categoriesFourman, Michael P.Category Theory and Computer Programming, 1986, p.434-448 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Internal completeness of categories of domainsTaylor, PaulCategory Theory and Computer Programming, 1986, p.449-465 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |