Universidade Federal do Rio de Janeiro COPPE

Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia

Instituto de Matemática

 
Visualizar Meses
Visualizar Meses
Visualizar Flat
Visualizar Flat
Visualizar Semanas
Visualizar Semanas
Visualizar Dias
Visualizar Dias
Categorias
Categorias
Procurar
Procurar

Evento: 'Seminário do Grupo de Lógica: Topological Domain Theory'

Eventos PESC (Palestras, Seminários, etc.)
Palestras, Seminários, etc. do PESC/COPPE/UFRJ.
Data: Wednesday, December 20, 2006 At 13:00
Duração: 2 Horas

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 toolkit should have a well-studied underlying mathematical theory; it should support the necessary type constructions of the simply-typed lambda-calculus; it should have an intrinsic notion of computability; it should support polymorphic type constructions; and it should model computational effects. We present categories of topological spaces meeting these demands, and shortly outline how this is done for each point. Furthermore we mention that Classical Domain Theory lives faithfully within our proposed framework.


Mario R. F. Benevides
UFRJ


Procurar no Calendário

Powered by ExtCalendar 2

© 2017 PESC/COPPE - Programa de Engenharia de Sistemas e Computação

Cidade Universitária, Centro de Tecnologia, Bloco H, Sala 319
Caixa Postal: 68511 CEP: 21941-972 Fones: +55 21 3938-8672 / +55 21 3938-8673 Fax: +55 21 3938-8676
Rio de Janeiro - RJ - Brasil
Horário de atendimento da Secretaria: 2a. a 6a. de 7:00 às 16:00 horas (exceto feriados escolares)