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

Publication: Research - peer-reviewJournal article

Documents

Original languageEnglish
JournalLogical Methods in Computer Science
Volume12
Issue number3
Pages (from-to)1 - 39
Number of pages39
ISSN1860-5974
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)

    Keywords

  • cs.LO, cs.PL

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 103312082