Similar Items: Transpension: The Right Adjoint to the Pi-type
- Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
- 2-adjoint equivalences in homotopy type theory
- Privacy by typing in the $pi$-calculus
- Type Reconstruction for the Linear pi-Calculus with Composite Regular Types
- Resource Usage Analysis for the Pi-Calculus
- Formalising the pi-calculus using nominal logic