A Model of PCF in Guarded Type Theory

Marco Paviotti, Rasmus Ejlers M√łgelberg, Lars Birkedal. A Model of PCF in Guarded Type Theory. Electronic Notes in Theoretical Computer Science, 319:333-349, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.