Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
2 |
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 |