skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: tipo de recurso: Archival Material / Manuscripts remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Per Model of Polymorphism and Recursive Types
A Per Model of Polymorphism and Recursive Types
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

A Per Model of Polymorphism and Recursive Types

Abadi, Martin ; Plotkin, Gordon

Texto completo disponível

Citações Citado por
2
A Logical View of Composition
A Logical View of Composition
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

A Logical View of Composition

Abadi, Martin ; Plotkin, Gordon

Texto completo disponível

Citações Citado por
3
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
4
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
5
Combining computational effects: commutativity and sum
Combining computational effects: commutativity and sum
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Combining computational effects: commutativity and sum

Hyland, Martin ; Plotkin, Gordon ; Power, John

Texto completo disponível

Citações Citado por
6
An Illative Theory of Relations
An Illative Theory of Relations
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

An Illative Theory of Relations

Plotkin, Gordon

Texto completo disponível

Citações Citado por
7
A Logic for Parametric Polymorphism
A Logic for Parametric Polymorphism
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

A Logic for Parametric Polymorphism

Plotkin, Gordon ; Abadi, Martin

Texto completo disponível

Citações Citado por
8
Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)
Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)

Fiore, Marcelo P ; Plotkin, Gordon ; Power, John

Texto completo disponível

Citações Citado por
9
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory

Plotkin, Gordon ; Fiore, Marcelo P

Texto completo disponível

Citações Citado por
10
A Set-Theoretical Definition of Application
A Set-Theoretical Definition of Application
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

A Set-Theoretical Definition of Application

Plotkin, Gordon

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1600  (20)
  2. 1600Até1990  (2)
  3. 1991Até1993  (3)
  4. 1994Até1998  (3)
  5. Após 1998  (7)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (29)
  2. Francês  (24)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.