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

Schedule

Abstract

(title to be confirmed)