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
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

Boston, MA: Birkhäuser Boston 1993

Texto completo disponível

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

3
Methionine metabolism in plants: chloroplasts are autonomous for de novo methionine synthesis and can import S-adenosylmethionine from the cytosol
Methionine metabolism in plants: chloroplasts are autonomous for de novo methionine synthesis and can import S-adenosylmethionine from the cytosol
Material Type:
Artigo 		Adicionar ao Meu Espaço

Methionine metabolism in plants: chloroplasts are autonomous for de novo methionine synthesis and can import S-adenosylmethionine from the cytosol

Ravanel, Stéphane ; Block, Maryse A ; Rippert, Pascal ; Jabrin, Samuel ; Curien, Gilles ; Rébeillé, Fabrice ; Douce, Roland

The Journal of biological chemistry, 2004-05, Vol.279 (21), p.22548-22557 [Periódico revisado por pares]

United States: American Society for Biochemistry and Molecular Biology

Texto completo disponível

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

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)

6
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
7
Symmetry and Interactivity in Programming
Symmetry and Interactivity in Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Symmetry and Interactivity in Programming

Curien, P.-L.

The bulletin of symbolic logic, 2003-06, Vol.9 (2), p.169-180 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
8
An abstract framework for environment machines
An abstract framework for environment machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

An abstract framework for environment machines

Curien, P.-L.

Theoretical computer science, 1991-05, Vol.82 (2), p.389-402 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
9
Formal parametric polymorphism
Formal parametric polymorphism
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal parametric polymorphism

Abadi, M. ; Cardelli, L. ; Curien, P.-L.

Theoretical computer science, 1993-12, Vol.121 (1), p.9-58 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
10
Free algebraic structures on the permutohedra
Free algebraic structures on the permutohedra
Material Type:
Artigo 		Adicionar ao Meu Espaço

Free algebraic structures on the permutohedra

Burgunder, E ; P -L Curien ; Ronco, M

arXiv.org, 2015-05

Ithaca: Cornell University Library, arXiv.org

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  (7.437)
  2. Newsletter Articles  (647)
  3. Anais de Congresso  (255)
  4. Book Chapters  (197)
  5. magazinearticle  (160)
  6. Livros  (146)
  7. Resenhas  (75)
  8. Verbetes  (38)
  9. Dissertações  (13)
  10. Imagens  (5)
  11. Artigos de Jornal  (3)
  12. Reports  (3)
  13. Videos  (1)
  14. Conjunto de Dados  (1)
  15. Web Resources  (1)
  16. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1959  (438)
  2. 1959Até1974  (215)
  3. 1975Até1990  (427)
  4. 1991Até2007  (1.659)
  5. Após 2007  (6.360)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (7.261)
  2. Alemão  (1.834)
  3. Japonês  (657)
  4. Francês  (130)
  5. Espanhol  (27)
  6. Português  (26)
  7. Polonês  (10)
  8. Norueguês  (9)
  9. Holandês  (9)
  10. Russo  (7)
  11. Italiano  (4)
  12. Chinês  (4)
  13. Sueco  (3)
  14. Latim  (2)
  15. Estoniano  (2)
  16. Turco  (1)
  17. Romeno  (1)
  18. Croatian  (1)
  19. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Curien, P
  2. Vanin, V
  3. Romain, P
  4. Beck, F
  5. Duchene, G

Neste Assunto:

  1. Science & Technology
  2. Physical Sciences
  3. Life Sciences & Biomedicine
  4. Technology
  5. Physics

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

Buscando em bases de dados remotas. Favor aguardar.