Pages that link to "Item:Q5971407"

From MaRDI portal

← A model of PCF in guarded type theory (Q5971407)

Jump to:navigation, search

The following pages link to A model of PCF in guarded type theory (Q5971407):

Displaying 3 items.

Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda (Q2683037) (← links)
Guarded Dependent Type Theory with Coinductive Types (Q2811330) (← links)
Denotational semantics of recursive types in synthetic guarded domain theory (Q4623133) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"