Guarded Dependent Type Theory with Coinductive Types.

Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Mgelberg, Lars Birkedal

Browse the full FOSSACS paper archive.