skip to main content
Idioma:
Refinado por: tipo de recurso: Archival Material / Manuscripts remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES
FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES

Abadi, Martin ; Pierce, Benjamin ; Plotkin, Gordon

Texto completo disponível

Citações Citado por
2
Modeling with the Semantic Web in the Geosciences
Modeling with the Semantic Web in the Geosciences
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Modeling with the Semantic Web in the Geosciences

Reitsma, Femke ; Albrecht, Jochen

Institute of Geography. The School of Geosciences. The University of Edinburgh 2006

Texto completo disponível

Citações Citado por
3
Three Inadequate Models
Three Inadequate Models
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Three Inadequate Models

Plotkin, Gordon

Texto completo disponível

Citações Citado por
4
Type Theory and Recursion Extended Abstract
Type Theory and Recursion Extended Abstract
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Type Theory and Recursion Extended Abstract

Plotkin, Gordon

Texto completo disponível

Citações Citado por
5
Subtyping and Parametricity
Subtyping and Parametricity
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Subtyping and Parametricity

Plotkin, Gordon ; Abadi, Martin ; Cardelli, Luca

Texto completo disponível

Citações Citado por
6
Towards a Mathematical Operational Semantics
Towards a Mathematical Operational Semantics
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Towards a Mathematical Operational Semantics

Plotkin, Gordon ; Turi, Daniele

Texto completo disponível

Citações Citado por
7
Adequacy for Algebraic Effects
Adequacy for Algebraic Effects
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Adequacy for Algebraic Effects

Plotkin, Gordon ; Power, John

SPRINGER-VERLAG 2002

Texto completo disponível

Citações Citado por
8
A Semantics for Static Type Inference
A Semantics for Static Type Inference
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

A Semantics for Static Type Inference

Plotkin, Gordon

SPRINGER VERLAG 1991

Texto completo disponível

Citações Citado por
9
Bialgebraic Semantics and Recursion
Bialgebraic Semantics and Recursion
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Bialgebraic Semantics and Recursion

Plotkin, Gordon

Elsevier Science 2001

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.