Scientific Calendar Event

Home > Timetable > Session details
PDF | iCal

A coinductive approach to digital computation


Location: Trieste - Italy
Room: Leonardo da Vinci Building Main Lecture Hall
Date: 28 Aug 11:00 - 11:50

Timetable | Contribution List

Displaying 1 contribution out of 1
Presented by ULRICH BERGER on 28/8/2008 at 11:00
Building timetable...


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