skip to main content
Results 1 2 3 4 5 next page
Refined by: resource type: Archival Material / Manuscripts remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
An Illative Theory of Relations
Material Type:
Archival Material / Manuscript
Add to e-Shelf

An Illative Theory of Relations

Plotkin, Gordon

Full text available

2
Type Theory and Recursion Extended Abstract
Material Type:
Archival Material / Manuscript
Add to e-Shelf

Type Theory and Recursion Extended Abstract

Plotkin, Gordon

Full text available

3
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
Material Type:
Archival Material / Manuscript
Add to e-Shelf

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

Plotkin, Gordon ; Fiore, Marcelo P

Full text available

4
Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)
Material Type:
Archival Material / Manuscript
Add to e-Shelf

Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)

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

Full text available

5
Configuration Structures
Material Type:
Archival Material / Manuscript
Add to e-Shelf

Configuration Structures

van Glabbeek, R.J Plotkin, Gordon

Full text available

6
Three Inadequate Models
Material Type:
Archival Material / Manuscript
Add to e-Shelf

Three Inadequate Models

Plotkin, Gordon

Full text available

7
A Logic for Parametric Polymorphism
Material Type:
Archival Material / Manuscript
Add to e-Shelf

A Logic for Parametric Polymorphism

Plotkin, Gordon ; Abadi, Martin

Full text available

8
Subtyping and Parametricity
Material Type:
Archival Material / Manuscript
Add to e-Shelf

Subtyping and Parametricity

Plotkin, Gordon ; Abadi, Martin ; Cardelli, Luca

Full text available

9
Abstract Syntax and Variable Binding (Extended Abstract)
Material Type:
Archival Material / Manuscript
Add to e-Shelf

Abstract Syntax and Variable Binding (Extended Abstract)

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

Full text available

10
A Set-Theoretical Definition of Application
Material Type:
Archival Material / Manuscript
Add to e-Shelf

A Set-Theoretical Definition of Application

Plotkin, Gordon

Full text available

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Creation Date 

From To
  1. Before1600  (20)
  2. 1600To1990  (2)
  3. 1991To1993  (3)
  4. 1994To1998  (3)
  5. After 1998  (7)
  6. More options open sub menu

Language 

  1. English  (29)
  2. French  (24)
  3. More options open sub menu

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far