Calendário de Eventos
|
Seminário do Grupo de Lógica: Topological Domain Theory
Quarta-feira, 20 Dezembro 2006, 13:00 - 15: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