Interactive Programs in Dependent Type Theory.

Peter G. Hancock, Anton Setzer

Browse the full CSL paper archive.