Aarhus University Seal / Aarhus Universitets segl

Partiality, State, and Dependent Types

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

Original languageEnglish
Title of host publicationProceedings of Typed LAmbda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011
VolumeLNCS 6690
PublisherSpringer
Publication year2011
Pages198-212
ISBN (print)978-3-642-21690-9
Publication statusPublished - 2011
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 73743207