Pages that link to "Item:Q2683037"

The following pages link to Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda (Q2683037):

Displaying 2 items.

• Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
• Greatest HITs: higher inductive types in coinductive definitions via induction under clocks (Q6649477) (← links)