Idioma:

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

Bengt Nordström Kent Petersson; Jan M Smith

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

Título:
Programming in Martin-Löf's type theory an introduction
Autor: Bengt Nordström
Kent Petersson; Jan M Smith
Assuntos: Electronic digital computers -- Programming; Set theory; LÓGICA MATEMÁTICA; TEORIA DOS TIPOS; TÉCNICAS DE PROGRAMAÇÃO; PROGRAMAÇÃO FUNCIONAL; Computer systems Programming
Notas: Includes bibliographical references (p. [203]-211) and index
Títulos relacionados: Série:International series of monographs on computer science 7; Oxford science publications
Editor: Oxford New York Clarendon Press Oxford University Press
Data de criação/publicação: 1990
Formato: x, 221 p. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados