Marc Lasson
Ph.D. École Normale Supérieure de Lyon 2012
Dissertation:
Realisabilité et Paramétricité dans les Systèmes de Types Purs
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1: Olivier Laurent
Advisor 2: Patrick Baillot
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 170782 for the advisor ID.