A realizability model for impredicative Hoare type theory (2008)

by R L Petersen, L Birkedal, A Nanevski, G Morrisett
Venue:In Proceedings of ESOP, number 4960 in LNCS