José Carlos Soares do Espírito Santo

Identification

Description level

Reference code

PT/FCT/FCT/DFA/001/0451/1270

Title

José Carlos Soares do Espírito Santo

Holding entity

Fundação para a Ciência e a Tecnologia, I.P.

Initial date

1997-02-28

Final date

2002-07-18

Dimension and support / Extents

Papel A4

Content and structure

Scope and content

Contém o processo da Bolsa de Doutoramento (BD) com o n.º 11273/97, no âmbito do Programa PRAXIS XXI, atribuída a José Carlos Soares do Espírito Santo para a realização de doutoramento em Ciências da Computação na University of Edinburgh, Reino Unido.Responsável pela formação: Samson Abramsky e Colin Stirling.Foi elaborada uma tese com o título: "Conservative extensions of the λ-calculus for the computational interpretation of sequent calculus".

Access and use

Language of the material

por, eng

Comments

José Carlos Soares do Espírito Santo

My list

Warning!