Resultados de 11 a 20 de 442 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (439)
- Revistas revisadas por pares (316)
- Disponível na Biblioteca (1)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Livro
|
|
Categorical Combinators, Sequential Algorithms, and Functional ProgrammingCurien, P.-LBirkhauser 2012Texto completo disponível |
| 12 |
Material Type: Artigo
|
|
Formal parametric polymorphismAbadi, 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.VTexto completo disponível |
| 13 |
Material Type: Artigo
|
|
Explicit substitutionsAbadi, 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 PressTexto completo disponível |
| 14 |
Material Type: Artigo
|
|
Confluence properties of weak and strong calculi of explicit substitutionsCurien, Pierre-Louis ; Hardin, Thérèse ; Lévy, Jean-JacquesJournal of the ACM, 1996-03, Vol.43 (2), p.362-397 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 15 |
Material Type: Artigo
|
|
Free algebraic structures on the permutohedraBurgunder, E ; P -L Curien ; Ronco, MarXiv.org, 2015-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 16 |
Material Type: Artigo
|
|
The categorical abstract machineCousineau, G. ; Curien, P.-L. ; Mauny, M.Science of computer programming, 1987-04, Vol.8 (2), p.173-202 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 17 |
Material Type: Artigo
|
|
Strong Normalization of SubstitutionsCURIEN, P.-L. ; HARDIN, T. ; RíOS, A.Journal of logic and computation, 1996-12, Vol.6 (6), p.799-817 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
| 18 |
Material Type: Artigo
|
|
Fully Abstract Semantics for Observably Sequential LanguagesCartwright, R. ; Curien, P.L. ; Felleisen, M.Information and computation, 1994-06, Vol.111 (2), p.297-401 [Periódico revisado por pares]San Diego, CA: Elsevier IncTexto completo disponível |
| 19 |
Material Type: Artigo
|
|
Partiality, cartesian closedness, and toposesCurien, P.-L. ; Obtułowicz, A.Information and computation, 1989, Vol.80 (1), p.50-95 [Periódico revisado por pares]San Diego, CA: Elsevier IncTexto completo disponível |
| 20 |
Material Type: Artigo
|
|
Sequential algorithms on concrete data structuresBerry, G. ; Curien, P.L.Theoretical computer science, 1982-01, Vol.20 (3), p.265-321 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
Resultados de 11 a 20 de 442 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (439)
- Revistas revisadas por pares (316)
- Disponível na Biblioteca (1)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (402)
- Anais de Congresso (22)
- Book Chapters (7)
- Livros (6)
- Resenhas (3)
- Verbetes (1)
- magazinearticle (1)
-
Mais opções
Assunto
- Physics (205)
- Science & Technology (141)
- Physical Sciences (122)
- Nuclear Experiment (119)
- Physics, Nuclear (68)
- Nuclear Physics And Radiation Physics (37)
- Physics, Multidisciplinary (34)
- Technology (33)
- Fysik (28)
- Naturvetenskap (27)
- Natural Sciences (27)
- Physics, Particles & Fields (23)
- Physics - Nuclear Experiment (22)
- Computer Science (21)
- Nuclei (20)
- Nuclear Physics (19)
- Exact Sciences And Technology (18)
- Nuclear Structure (17)
- Excitation (15)
- Computer Science, Theory & Methods (15)
- Física Nuclear (2)
- Teoria Da Computação (1)
- Ciência Da Computação (1)
-
Mais opções
Autor/Criador
- Curien, P (3)
- Vanin, V (2)
- Romain, P (2)
- Beck, F (2)
- Duchene, G (2)
- Porquet, M (2)
- Merdinger, J (2)
- Kreiner, A (2)
- Haas, B (2)
- Byrski, T (2)
- Rouabah, S (2)
- Curien, D (2)
- Bourgeois, C (2)
- Abramsky, S (2)
- Van Rijsbergen, C (1)
- Gurevich, Y (1)
- Pitt, D (1)
- Workshop on Category Theory and Computer Programming (1)
- Amadio, R (1)
- Aczel, P (1)
-
Mais opções
Data de Publicação
- Antes de1989 (13)
- 1989Até1996 (82)
- 1997Até2004 (103)
- 2005Até2013 (171)
- Após 2013 (73)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- NUS Single-Journal Subscriptions (152)
- APS_美国物理学会期刊 (149)
- APS_美国物理学会过刊 (136)
- Science Citation Index Expanded (Web of Science) (127)
- EZB Electronic Journals Library (106)
- SCOAP3_高能物理OA刊 (103)
- ScienceDirect (79)
- Springer journals (64)
- EDP Sciences (63)
- Springer Nature - Springer Journals All 2022 (62)
- Academic Search Premier (EB_SDU_P3) (54)
- ROAD: Directory of Open Access Scholarly Resources (46)
- IngentaConnect Journals (38)
- DOAJ Directory of Open Access Journals (33)
- Institute of Physics IOPscience extra (31)
- HEAL-Link subscriptions: Institute of Physics (IOP) Journals (29)
- Institute of Physics Journals (26)
- arXiv.org (24)
- Free E- Journals (22)
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (13)
-
Mais opções
Nome da Publicação
- Physical Review. C, Nuclear Physics (86)
- The European Physical Journal. A, Hadrons And Nuclei (53)
- Physical Review Letters (49)
- Nuclear Physics. A (27)
- Physical Review. C (27)
- Physics Letters. B (24)
- Journal Of Physics. G, Nuclear And Particle Physics (17)
- arXiv.org (14)
- Acta Physica Polonica, B (12)
- Physica Scripta (8)
- Physical Review C (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 