Tese de doutoramento Acesso aberto

Type-based termination of recursive definitions and constructor subtyping in typed lambda calculi

Autor(es)
Orientador(es)

Ficheiros

thesis.pdf (955.2 KB)

Embargo

Tipo de Documento

Tese de doutoramento

Idioma

Coleções

BUM - Teses de doutoramento | Doctoral thesis
A carregar...
Ver registo completo
UM