A computer verified, monadic, functional implementation of the integral. (joint work with Russell O'Connor)
Place
Location: Trieste - Italy
Room: Leonardo da Vinci Building Main Lecture Hall
Date:
28 Aug 15:00 - 15:50
Timetable | Contribution List
Displaying 1
contribution
out of
1
Presented by BAS SPITTERS
on
28/8/2008
at
15:00
Organizers
Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche