A Realizability Model for Impredicative Hoare Type Theory

Rasmus Lerchedahl Petersen
, Aleksandar Nanevski
, Greg Morrisett
, Lars Birkedal

Harvard University

Publikation: Bog / Antologi / Rapport › Rapport › Forskning

Sorter

Keyphrases

Computer Science

Mathematics