skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Nordström, B remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming in Martin-Löf's type theory an introduction
Programming in Martin-Löf's type theory an introduction
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming in Martin-Löf's type theory an introduction

Bengt Nordström Kent Petersson; Jan M Smith

Oxford New York Clarendon Press Oxford University Press 1990

Localização: IME - Inst. Matemática e Estatística    (QA9.55 N832p )(Acessar)

2
Types for Proofs and Programs
Types for Proofs and Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs

TYPES '99 Thierry Coquand; Peter Dybjer; Bengt Nordström; Jan Smith

Springer Berlin / Heidelberg 2000

Acesso online

3
Types for Proofs and Programs
Types for Proofs and Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs

International Workshop TYPES '94 Peter Dybjer; Bengt Nordström; Jan M Smith

Springer Berlin Heidelberg 1995

Acesso online

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)
  2. Disponível na Biblioteca (1)

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.