Jean-Louis Krivine
seminars given
| ημερομηνία | τίτλος | |
|---|---|---|
| 2000/07/11 | The Curry-Howard correspondence in set theory | |
| 1 seminar. | ||
| mpla.math.uoa.gr |
|
| You are here: Persons » Jean-Louis Krivine |
| ημερομηνία | τίτλος | |
|---|---|---|
| 2000/07/11 | The Curry-Howard correspondence in set theory | |
| 1 seminar. | ||