The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal article


Original languageEnglish
JournalLogical Methods in Computer Science
Issue number3
Pages (from-to)1 - 39
Number of pages39
StatePublished - 6 Sep 2016

Bibliographical note

Accepted to Logical Methods in Computer Science special issue on the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015)

    Research areas

  • cs.LO, cs.PL

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 103312082