Scientific Calendar Event



Home > Timetable > Session details > Contribution details

Contribution

Trieste - Italy - Adriatico Guest House Kastler Lecture Hall

A computer verified, monadic, functional implementation of the integral. (joint work with Russell O'Connor)

Speakers

  • BAS SPITTERS

Primary authors

  • BAS SPITTERS (Foundations of Mathematics and Computer Science, Nijmegen, Netherland)

Organizers

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