Events Calendar
|
Seminário do Grupo de Lógica: Topological Domain Theory
Wednesday, 20 December 2006, 1:00 - 3:00
Seminário do Grupo de Lógica
Title: Topological Domain Theory
Palestrante: Ingo Battenfeld - LFCS - University of Edinburgh
Local: COPPE-Sistemas, sala H324A
Horário: 13:00
Data: 20/12/2006
Abstract:
We present results of a recent research project supervised by Alex Simpson. The project aims at providing a most flexible toolkit for denotational semantics. The requirements addressed in the programme are: the tool
Title: Topological Domain Theory
Palestrante: Ingo Battenfeld - LFCS - University of Edinburgh
Local: COPPE-Sistemas, sala H324A
Horário: 13:00
Data: 20/12/2006
Abstract:
We present results of a recent research project supervised by Alex Simpson. The project aims at providing a most flexible toolkit for denotational semantics. The requirements addressed in the programme are: the tool