skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
Explicit substitutions
Explicit substitutions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Explicit substitutions

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

Annual Symposium on Principles of Programming Languages: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1989, p.31-46

ACM

Texto completo disponível

Citações Citado por
3
Explicit substitutions
Explicit substitutions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Explicit substitutions

Abadi, M. ; Cardelli, L. ; Curien, P.-L. ; Lévy, J.-J.

Journal of functional programming, , Vol.1 (4), p.375-416 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
4
Preface
Preface
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preface

Abramsky, S. ; Curien, P.-L. ; Pitts, A. ; Wagner, E. G.

Mathematical structures in computer science, 1991-03, Vol.1 (1), p.1-2 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
5
Preface
Preface
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preface

Abramsky, S. ; Curien, P.-L. ; Pitts, A. ; Wagner, E. G.

Mathematical structures in computer science, 1991-03, Vol.1 (1), p.1-2 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
6
Preface
Preface
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preface

Abramsky, S. ; Curien, P.-L. ; Pitts, A. ; Wagner, E. G.

Mathematical structures in computer science, 1991-03, Vol.1 (1), p.1-2 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
7
The DIAMANT electronics and data acquisition system
The DIAMANT electronics and data acquisition system
Material Type:
Artigo 		Adicionar ao Meu Espaço

The DIAMANT electronics and data acquisition system

Aïche, M ; Aléonard, M.M ; Balauge, B ; Barreau, G ; Bourgine, F ; Cabaussel, D ; Chemin, J.F ; Diarra, C ; Goudour, J.P ; Harston, M ; Rasolofo, H ; Scheurer, J.N ; Brondi, A ; La Rana, G ; Moro, R ; Vardaci, E ; Curien, D

Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment, 1997-06, Vol.391 (2), p.329-337 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Alpha energy distribution as a probe for the feeding of ND and SD bands in $^{151,152}$Dy nuclei
Alpha energy distribution as a probe for the feeding of ND and SD bands in $^{151,152}$Dy nuclei
Material Type:
Artigo 		Adicionar ao Meu Espaço

Alpha energy distribution as a probe for the feeding of ND and SD bands in $^{151,152}$Dy nuclei

Aiche, M. ; Aleonard, M.M. ; Barreau, G. ; Boivin, D. ; Bourgine, F. ; Chemin, J.F. ; Scheurer, J.N. ; Doan, T.P. ; Brondi, A. ; La Rana, G. ; Moro, R. ; Principe, A. ; Vardaci, E. ; Curien, D. ; Duchene, G. ; de France, G. ; Beck, F.A. ; Haas, B. ; Vivien, J.P. ; Hannachi, F.

The European physical journal. A, Hadrons and nuclei, 1999, Vol.6, p.121-129 [Periódico revisado por pares]

EDP Sciences

Texto completo disponível

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

10
Superdeformed bands in 153 Ho
Superdeformed bands in 153 Ho
Material Type:
Artigo 		Adicionar ao Meu Espaço

Superdeformed bands in 153 Ho

Appelbe, D. E. ; Beausang, C. W. ; Cullen, D. M. ; Smith, M. B. ; Twin, P. J. ; Curien, D. ; Duche⁁ne, G. ; Finck, Ch ; Kharraja, B. ; Haas, B. ; Rigollet, C. ; Stezowski, O. ; Wilson, A. N.

Physical review. C, Nuclear physics, 1997-11, Vol.56 (5), p.2490-2496

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (402)
  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 de1989  (13)
  2. 1989Até1996  (82)
  3. 1997Até2004  (103)
  4. 2005Até2013  (171)
  5. Após 2013  (73)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (438)
  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.