Aarhus University Seal / Aarhus Universitets segl

A realizability model for impredicative Hoare Type Theory

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

  • Rasmus Lerchedahl Petersen, IT University of Copenhagen, Denmark
  • Lars Birkedal
  • Aleksandar Nanevski, Harvard University, Unknown
  • Greg Morrisett, Harvard University, Unknown
Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number of pages16
Volume4960 LNCS
Publication year21 Jul 2008
Pages337-352
ISBN (print)3540787380, 9783540787389
DOIs
Publication statusPublished - 21 Jul 2008
Externally publishedYes
SeriesLecture Notes in Computer Science
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 81613797