Bob Atkey (Strathclyde Univ., UK), Type systems for programming with coinductive data types

Programme

Résumé

(title to be confirmed)