Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Members
Publications
Seminar
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Members
Publications
Seminar
Contact
How to get here?
Log In
Seminars 2020-21
Contact :
seminar@lacl.fr
Archives:
2020-21
2019-20
2018-19
2017-18
2016-17
2015-16
2014-15
2013-14
2012-13
2011-12
2010-11
2009-10
2008-09
On monday, at 2pm - UPEC CMC - Room P2-131
October 5, 2020
La réalisabilité, de Curry Howard au Forcing
Laura Fontanella
(LACL)
Posts navigation
Previous
1
2
