skip to main content
Idioma:
Refinado por: tipo de recurso: Livros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Domains and Lambda-Calculi
Domains and Lambda-Calculi
Material Type:
Livro 		Adicionar ao Meu Espaço

Domains and Lambda-Calculi

Roberto M. Curien, Pierre-Louis Bakker, J. W. de Amadio Roberto M Amadio; Pierre-Louis Curien; S Abramsky; P. H Aczel; J. W. de Bakker; Y Gurevich; J. V Tucker; C. J Van Rijsbergen

Cambridge University Press 1998

Acesso online

2
Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings
Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings

Cousineau, Guy ; Curien, Pierre-Louis ; Robinet, Bernard Robinet, Bernard ; Curien, Pierre-Louis ; Cousineau, Guy

Berlin, Heidelberg: Springer Berlin Heidelberg 1986

Texto completo disponível

Citações Citado por
3
Categorical Combinators, Sequential Algorithms, and Functional Programming
Categorical Combinators, Sequential Algorithms, and Functional Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Categorical Combinators, Sequential Algorithms, and Functional Programming

Curien P. L Curien

Birkhäuser Boston 1993

Acesso online

4
Categorical Combinators, Sequential Algorithms, and Functional Programming
Categorical Combinators, Sequential Algorithms, and Functional Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Categorical Combinators, Sequential Algorithms, and Functional Programming

Curien, P.-L

Birkhauser 2012

Texto completo disponível

Citações Citado por
5
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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1993  (1)
  2. 1993Até1997  (1)
  3. 1998Até2000  (1)
  4. 2001Até2005  (2)
  5. Após 2005  (1)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Curien, P
  2. Abramsky, S
  3. Bakker, J
  4. Amadio, R
  5. Poigne, A

Neste Assunto:

  1. Computing Machines
  2. Computer Science
  3. Computer Hardware
  4. Computation By Abstract Devices
  5. Congresses

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

Buscando em bases de dados remotas. Favor aguardar.