skip to main content
Idioma:
previous page 3 4 Resultados 5 6 7 next page
Mostrar Somente
Refinado por: tipo de recurso: Archival Material / Manuscripts remover
Result Number Material Type Add to My Shelf Action Record Details and Options
41
Computational effects and operations: an overview
Computational effects and operations: an overview
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Computational effects and operations: an overview

Plotkin, Gordon ; Power, John

2002

Texto completo disponível

Citações Citado por
42
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
43
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
44
Lax Logical Relations
Lax Logical Relations
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Lax Logical Relations

Plotkin, Gordon ; Power, John ; Sannella, Donald ; Tennent, Robert

SPRINGER-VERLAG 2000

Texto completo disponível

Citações Citado por
45
Logical Full Abstraction and PCF
Logical Full Abstraction and PCF
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Logical Full Abstraction and PCF

Longley, John R ; Plotkin, Gordon

2000

Texto completo disponível

Citações Citado por
46
From Action Calculi to Linear Logic
From Action Calculi to Linear Logic
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

From Action Calculi to Linear Logic

Barber, Andrew G ; Gardner, Phillipa ; Hasegawa, Masahito ; Plotkin, Gordon

SPRINGER-VERLAG 1998

Texto completo disponível

Citações Citado por
47
On a Question of H. Friedman
On a Question of H. Friedman
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

On a Question of H. Friedman

Plotkin, Gordon

ACADEMIC PRESS INC 1996

Texto completo disponível

Citações Citado por
48
An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC
An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC

Fiore, Marcelo P ; Plotkin, Gordon

1994

Texto completo disponível

Citações Citado por
49
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
50
Concrete Domains
Concrete Domains
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Concrete Domains

Kahn, Gilles ; Plotkin, Gordon

1993

Texto completo disponível

Citações Citado por
previous page 3 4 Resultados 5 6 7 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (53)

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

Buscando em bases de dados remotas. Favor aguardar.