Roberto M. Amadio, Professor, UFR Informatique, Univ. Paris Diderot.

Office 3015, building Sophie Germain.

Surface mail: Université Paris Diderot, UFR d'Informatique (Case 7024), 75205 PARIS Cedex 13.

Email: roberto.amadio@univ-paris-diderot.fr. Tel. +33 1 57 27 92 40.

Courses to be found on DIDEL and MOODLE (a University account is required).

Some lecture notes can also be found on HAL.

Some papers as referenced by DBLP.

A book on Domains and lambda calculi.

Information on the research Master MPRI.