skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Category theory and computer science proceedings
Category theory and computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category theory and computer science proceedings

Workshop on Category Theory and Computer Science (1987 : Edinburgh, UK) David H Pitt; Axel Poigne; David E Rydeheard

Berlin Springer 1987

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.283 ex.1 ) e outros locais(Acessar)

2
Category theory and computer science proceedings
Category theory and computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category theory and computer science proceedings

Workshop on Category Theory and Computer Programming (4. : 1991 : Paris, FR) David H Pitt; A. M Pitts (Andrew M.); David E Rydeheard; Axel Poigne; Samson Abramsky 1953-; Pierre -Louis Curien

Berlin Springer 1991

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.530 e.1 ) e outros locais(Acessar)

3
Category theory and computer science proceedings
Category theory and computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category theory and computer science proceedings

Workshop on Category Theory and Computer Science (3. : 1989 : Manchester, UK) David H Pitt; Peter Dybjer; A. M Pitts (Andrew M.); Axel Poigne; David E Rydeheard

Berlin Springer 1989

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.389 ex.1 ) e outros locais(Acessar)

4
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings

Pitt, David H ; Poigné, Axel ; Rydeheard, David E Poigné, Axel ; Rydeheard, David E. ; Pitt, David H.

Berlin, Heidelberg: Springer Berlin Heidelberg 1987

Texto completo disponível

Citações Citado por
5
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

Pitt, David H ; Rydeheard, David E ; Dybjer, Peter ; Pitts, Andrew M ; Poigné, Axel Rydeheard, David E. ; Dybjer, Peter ; Pitt, David H. ; Poigné, Axel ; Pitts, Andrew M. ; Dybjer, Peter ; Pitt, D. H. ; Rydeheard, D.E. ; Poign, A. ; Pitts, A. M.

Berlin, Heidelberg: Springer Berlin Heidelberg 1989

Texto completo disponível

Citações Citado por
6
A modular approach to denotational semantics
A modular approach to denotational semantics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A modular approach to denotational semantics

Moggi, Eugenio

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Bifinite domains: Stable case
Bifinite domains: Stable case
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Bifinite domains: Stable case

Amadio, Roberto M.

Category Theory and Computer Science, 2005, p.16-33 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Linear logic and interference control
Linear logic and interference control
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Linear logic and interference control

O'Hearn, P. W.

Category Theory and Computer Science, 2005, p.74-93 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Higher dimensional word problem
Higher dimensional word problem
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Higher dimensional word problem

Burroni, Albert

Category Theory and Computer Science, 2005, p.94-105 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Proof nets and coherence theorems
Proof nets and coherence theorems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Proof nets and coherence theorems

Blute, Richard

Category Theory and Computer Science, 2005, p.121-137 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (26)
  2. Anais de Congresso  (21)
  3. Book Chapters  (13)
  4. Livros  (7)
  5. Imagens  (3)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1986  (22)
  2. 1986Até1989  (10)
  3. 1990Até1998  (6)
  4. 1999Até2008  (26)
  5. Após 2008  (6)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (68)
  2. Francês  (18)
  3. Japonês  (1)
  4. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Poigne, A
  2. Pitt, D
  3. Rydeheard, D
  4. Pitts, A
  5. Workshop on Category Theory and Computer Science

Neste Assunto:

  1. Science & Technology
  2. Technology
  3. Computer Science
  4. Mathematics
  5. Cretaceous

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

Buscando em bases de dados remotas. Favor aguardar.