Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints.

Alos Brunel, Antoine Madet

Browse the full APLAS paper archive.