Scientific Calendar Event



Home > Timetable > Session details > Contribution details

Contribution

Trieste - Italy - Adriatico Guest House Kastler Lecture Hall

Proof interpretations, "Hard Analysis" and Ergodic theory

Speakers

  • ULRICH KOHLENBACH

Primary authors

Organizers

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