An Agda Formalization of resin and Dubois' Asynchronous Fixed-Point Theory.

Ran Zmigrod, Matthew L. Daggitt, Timothy G. Griffin

Browse the full ITP paper archive.