Aarhus University Seal / Aarhus Universitets segl

A model of countable nondeterminism in guarded type theory

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

  • Aleš Bizjak, Denmark
  • Lars Birkedal
  • Marino Miculan, University of Udine, Unknown
Original languageEnglish
Title of host publicationRewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
EditorsGilles Dowek
Number of pages16
PublisherSpringer VS
Publication year1 Jan 2014
Pages108-123
ISBN (print)9783319089171
ISBN (Electronic)978-3-319-08918-8
DOIs
Publication statusPublished - 1 Jan 2014
SeriesLecture Notes in Computer Science
Volume8560
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 81783994