Workshop on Proof and Computation. Institute for Advanced Studies, University of Bristol.

Sprevak, M. (Invited speaker)

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Description

'Real computational structure'.
PeriodMar 2010
Event typeWorkshop
LocationBristol, United Kingdom