Sabine Broda

Computer Science Department & CMUP

Faculty of Science of University of Porto

You can reach me at:

R. Campo Alegre 1021-1055, 4169-077 Porto, Portugal

email: sbb at dcc dot fc dot up dot pt

Tel: +351 22 0402912

Fax: +351 22 0402950

PGP Public Key

Research interest:

Mathematical logic; particularly lambda-calculus, combinatory logic and type-theory. Formal Language Theory and Analytic Combinatorics.

Projects

Events

Publications

Aulas 11/12

Formula Tree Lab: a tool for studying inhabitation of simple types