Resultados de 1 a 10 de 30 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
Refinado por:
tipo de recurso:
Archival Material / Manuscripts
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Archival Material / Manuscript
|
|
|
| 2 |
Material Type: Archival Material / Manuscript
|
|
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain TheoryPlotkin, Gordon ; Fiore, Marcelo PTexto completo disponível |
| 3 |
Material Type: Archival Material / Manuscript
|
|
|
| 4 |
Material Type: Archival Material / Manuscript
|
|
Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)Fiore, Marcelo P ; Plotkin, Gordon ; Power, JohnTexto completo disponível |
| 5 |
Material Type: Archival Material / Manuscript
|
|
|
| 6 |
Material Type: Archival Material / Manuscript
|
|
A Per Model of Polymorphism and Recursive TypesAbadi, Martin ; Plotkin, GordonTexto completo disponível |
| 7 |
Material Type: Archival Material / Manuscript
|
|
Towards a Mathematical Operational SemanticsPlotkin, Gordon ; Turi, DanieleTexto completo disponível |
| 8 |
Material Type: Archival Material / Manuscript
|
|
|
| 9 |
Material Type: Archival Material / Manuscript
|
|
|
| 10 |
Material Type: Archival Material / Manuscript
|
|
Abstract Syntax and Variable Binding (Extended Abstract)Fiore, Marcelo P ; Plotkin, Gordon ; Turi, DanieleTexto completo disponível |
Resultados de 1 a 10 de 30 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
Refinar Meus Resultados
Assunto
- Laboratory For Foundations Of Computer Science (29)
- Afers Econòmics (1)
- Metric Models (1)
- Recursive Types (1)
- Ideals (1)
- Polymorphism (1)
- Full Abstraction (1)
- Computer Communications (1)
- Correspondence (1)
- Epistolaris (1)
- Economic Affairs (1)
-
Mais opções
Data de Publicação
- Antes de1991 (2)
- 1991Até1993 (3)
- 1994Até1997 (2)
- 1998Até2001 (4)
- Após 2001 (4)
-
Mais opções
Base de Dados/Biblioteca
- University of Edinburgh dspace (29)
- Lecture Notes in Computer Science Archive (through to 1996) (3)
- SpringerLINK Lecture Notes in Computer Science (2015) (3)
- ScienceDirect Freedom Collection (1)
- EZB Electronic Journals Library (1)
- SpringerLink (1)
- Journals@Ovid (1)
- Springer Nature - Springer Journals All 2022 (1)
- DUGiFonsEspecials (Universitat de Girona) (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 