skip to main content
Idioma:
Resultados 1 2 3 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
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
2
Configuration Structures
Configuration Structures
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Configuration Structures

van Glabbeek, R.J 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
Abstract Syntax and Variable Binding (Extended Abstract)
Abstract Syntax and Variable Binding (Extended Abstract)
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Abstract Syntax and Variable Binding (Extended Abstract)

Fiore, Marcelo P ; Plotkin, Gordon ; Turi, Daniele

Texto completo disponível

Citações Citado por
5
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
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 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
8
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
9
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
10
Full Abstraction, Totality and PCF
Full Abstraction, Totality and PCF
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Full Abstraction, Totality and PCF

Plotkin, Gordon

Texto completo disponível

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

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

Buscando em bases de dados remotas. Favor aguardar.