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
Semantics for algebraic operations
Semantics for algebraic operations
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Semantics for algebraic operations

Plotkin, Gordon ; Power, John

KLUWER ACADEMIC PUBL 2003

Texto completo disponível

Citações Citado por
2
Notions of Computation Determine Monads
Notions of Computation Determine Monads
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Notions of Computation Determine Monads

Plotkin, Gordon ; Power, John

SPRINGER-VERLAG 2002

Texto completo disponível

Citações Citado por
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
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.