Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
31 |
Material Type: Archival Material / Manuscript
|
|
|
32 |
Material Type: Archival Material / Manuscript
|
|
|
33 |
Material Type: Archival Material / Manuscript
|
Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)Fiore, Marcelo P ; Plotkin, Gordon ; Power, JohnTexto completo disponível |
|
34 |
Material Type: Archival Material / Manuscript
|
Subtyping and ParametricityPlotkin, Gordon ; Abadi, Martin ; Cardelli, LucaTexto completo disponível |
|
35 |
Material Type: Archival Material / Manuscript
|
|
|
36 |
Material Type: Archival Material / Manuscript
|
|
|
37 |
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 |
|
38 |
Material Type: Archival Material / Manuscript
|
|
|
39 |
Material Type: Archival Material / Manuscript
|
Semantics for algebraic operationsPlotkin, Gordon ; Power, JohnKLUWER ACADEMIC PUBL 2003Texto completo disponível |
|
40 |
Material Type: Archival Material / Manuscript
|
Computational effects and operations: an overviewPlotkin, Gordon ; Power, John2002Texto completo disponível |