Tuesday February 01, 2005, 14:00, Robert Recorde Room
Dirk Pattinson
(
LMU Muenchen
, visiting
Imperial College London
)
Data Types for Differentiable Functions
