skip to main content
Idioma:
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 Curien

Birkhäuser Boston 1993

Acesso online

2
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

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

4
Double blocking in doubly odd deformed nuclei the case of 'ANTPOT.178 RE'
Double blocking in doubly odd deformed nuclei the case of 'ANTPOT.178 RE'
Material Type:
Artigo 		Adicionar ao Meu Espaço

Double blocking in doubly odd deformed nuclei the case of 'ANTPOT.178 RE'

A J Kreiner Vito Roberto Vanin; F A Beck; C Bourgeois; T Byrski; D Curien; G Duchene; B Haas; J C Merdinger; M G Porquet; P Romain; S Rouabah

v.40, n.2 , p.487r-90r, 1989 Physical Review C

1989

Item não circula. Consulte sua biblioteca.(Acessar)

5
Double blocking in doubly odd deformed nuclei the case of 'ANTPOT.178 RE'
Double blocking in doubly odd deformed nuclei the case of 'ANTPOT.178 RE'
Material Type:
Artigo 		Adicionar ao Meu Espaço

Double blocking in doubly odd deformed nuclei the case of 'ANTPOT.178 RE'

A J Kreiner Vito Roberto Vanin; F A Beck; C Bourgeois; T Byrski; D Curien; G Duchene; B Haas; J C Merdinger; M G Porquet; P Romain; S Rouabah

v.40, n.2 , p.487r-90r, 1989 Physical Review C

1989

Item não circula. Consulte sua biblioteca.(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
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
8
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
9
Strong normalization of substitutions
Strong normalization of substitutions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Strong normalization of substitutions

Curien, P. -L. ; Hardin, T. ; Ríos, A.

Mathematical Foundations of Computer Science 1992, 2005, p.209-217 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
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
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  (399)
  2. Anais de Congresso  (22)
  3. Book Chapters  (7)
  4. Livros  (6)
  5. Resenhas  (3)
  6. Verbetes  (1)
  7. magazinearticle  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (21)
  2. 1990Até1997  (77)
  3. 1998Até2005  (137)
  4. 2006Até2014  (132)
  5. Após 2014  (72)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (435)
  2. Japonês  (18)
  3. Francês  (2)
  4. Russo  (1)
  5. Norueguês  (1)
  6. 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. Physics
  2. Science & Technology
  3. Physical Sciences
  4. Nuclear Experiment
  5. Physics, Nuclear

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

Buscando em bases de dados remotas. Favor aguardar.