Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
CategoriesPitt, DavidCategory Theory and Computer Programming, 2005, p.1-15 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Livro
|
Category theory and computer programming proceedingsWorkshop on Category Theory and Computer Programming (1. 1985 Guildford) David H PittBerlin Springer 1986Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.240 ex.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Capítulo de Livro
|
A study in the foundations of programming methodology: Specifications, institutions, charters and parchmentsGoguen, Joseph A. ; Burstall, R. M.Category Theory and Computer Programming, 1986, p.313-333 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
4 |
Material Type: Artigo
|
Bits and pieces of the theory of institutionsTarlecki, AndrzejCategory Theory and Computer Programming, 1986-01, p.334-363 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Category theory and logicPoigné, AxelCategory Theory and Computer Programming, 1986, p.103-142 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
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 |
|
7 |
Material Type: Capítulo de Livro
|
Elements of categorical reasoning : Products and coproducts and some other (co-)limitsPoigné, AxelCategory Theory and Computer Programming, 1986, p.16-42 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
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 |
|
9 |
Material Type: Capítulo de Livro
|
A categorical unification algorithmRydeheard, D. E. ; Burstall, R. M.Category Theory and Computer Programming, 1986, p.493-505 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Key extensions of abstract data types, final algebras, and database semanticsEhrich, H. -D.Category Theory and Computer Programming, 1986, p.412-433 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |