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