Aarhus University Seal / Aarhus Universitets segl

Programming and reasoning with guarded recursion for coinductive types

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationFoundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
EditorsAndrew Pitts
Number of pages12
PublisherSpringer VS
Publication year2015
Pages305-316
ISBN (print)978-3-662-46677-3
ISBN (Electronic)978-3-662-46678-0
DOIs
Publication statusPublished - 2015
EventInternational Conference on Foundations of Software Science and Computation Structures - London, United Kingdom
Duration: 11 Apr 201518 Apr 2015
Conference number: 18

Conference

ConferenceInternational Conference on Foundations of Software Science and Computation Structures
Nummer18
LandUnited Kingdom
ByLondon
Periode11/04/201518/04/2015
SeriesLecture Notes in Computer Science
Volume9034
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 86103664