Scientific Calendar Event



Home > Timetable > Session details > Contribution details

Contribution

Trieste - Italy - Leonardo da Vinci Building Main Lecture Hall

Constructive logic

Speakers

  • THIERRY COQUAND

Primary authors

Organizers

Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche