Seminar
Speaker: | Jean-Louis Krivine (Université Paris VII) |
---|---|
Title: | The Curry-Howard correspondence in set theory |
Date: | Tuesday, 11 Jul 2000 |
Time: | 18:00-19:00 |
You are here: Seminars » 1999-2000 » J. Krivine, 2000-07-11 |
Speaker: | Jean-Louis Krivine (Université Paris VII) |
---|---|
Title: | The Curry-Howard correspondence in set theory |
Date: | Tuesday, 11 Jul 2000 |
Time: | 18:00-19:00 |
Comments