Michele Pagani

Professor at the Computer Science Department,
ENS Lyon, LIP, UMR 5668.

eMail: michele dot pagani at ens-lyon dot fr
Phone: (+33) 4 72 72 82 30
Office: M7 310, LIP
Address: LIP, ENS Lyon, 46 allée d'Italie, 69364 Lyon, France

Keywords

Linear logic, theory of programming languages, lambda-calculus, denotational semantics, types, Curry-Howard correspondence

Publications

See HAL archive.
Most articles are freely available from HAL. Please contact me if you can't find one.

Teaching

Links to the home pages of current and upcoming courses are listed below. For previous lecture notes, please contact me.

Other stuff

Last modified: