Type-based termination of recursive definitions and constructor subtyping in typed lambda calculi
Contributor
Valença, José Manuel Barthe, Gilles
Subject
Documentação e informação Informática
Date
2003
Description
Bibliografia, p. 179 Dissertação apresentada à Escola de Engenharia da Universidade do Minho para obtenção do Grau de Doutor em Informática, ramo de Fundamentos da Computação