skip to main content
Idioma:
Refinado por: assunto: Category Theory remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings
Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings

Pitt, David ; Rydeheard, David E ; Johnstone, Peter Rydeheard, David E. ; Johnstone, Peter ; Pitt, David

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
2
Computing with categories
Computing with categories
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Computing with categories

Burstall, R. ; Rydeheard, D.

Category Theory and Computer Programming, 1986, p.506-517 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms

Rydeheard, D. E. ; Stell, J. G.

Category Theory and Computer Science, 1987, p.114-139 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
A categorical unification algorithm
A categorical unification algorithm
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A categorical unification algorithm

Rydeheard, D. E. ; Burstall, R. M.

Category Theory and Computer Programming, 1986, p.493-505 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Categorical ML. Category-theoretic modular programming
Categorical ML. Category-theoretic modular programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Categorical ML. Category-theoretic modular programming

DENNIS-JONES, E ; RYDEHEARD, D. E

Formal aspects of computing, 1993-07, Vol.5 (4), p.337-366 [Periódico revisado por pares]

London: Springer

Texto completo disponível

Citações Citado por
6
Adjunctions
Adjunctions
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Adjunctions

Rydeheard, David E.

Category Theory and Computer Programming, 1986, p.51-57 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.