Contribution
Trieste - Italy
-
Leonardo da Vinci Building Main Lecture Hall
Constructive analysis
Speakers
- DOUGLAS S. BRIDGES
Primary authors
- DOUGLAS S. BRIDGES (University of Canterbury, Christchurch, New Zealand)
Organizers
Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche