Marc Lasson

MathSciNet


Ph.D. École Normale Supérieure de Lyon 2012 France
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.