Go to:
Logótipo
You are in:: Start > Projetos / Dissertações / Teses > Tese de Doutoramento em Ciência de Computadores
Map of Premises
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

Tese de Doutoramento em Ciência de Computadores

Linearisation of the Lambda-Calculus

Student: Sandra Maria Mendes Alves
Nº de Estudante: 199404260
Orientadores: António Mário da Silva Marcos Florido
 
Status: Concluído
Desde: 30-ABR-2007
 
Start: 24-SET-2001
Inscrição Definitiva: 04-OUT-2002
Entrega da Tese: 22-FEV-2007
Defence: 30-ABR-2007
   
Título da Tese: Linearisation of the Lambda-Calculus
Título Provisório: Linearização de Programas e Inferência de Tipos

Elementos do Júri

Name Role
Miguel Filgueiras Presidente
Jorge Pinto Vogal
Mário Florido Vogal
Hermínio Diogo Vogal
Luís Damas Vogal
Sabine Broda Vogal
Recommend this page Top
Copyright 1996-2022 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2022-09-30 at 07:39:03 | Reports Portal