All tags
- concurrency (3)
- process calculus (3)
- π-calculus (3)
- algebraic effects (2)
- effect system (2)
- higher-order (2)
- logic (2)
- λ-calculus (2)
- algebras (1)
- contextual equivalence (1)
- curry-howad (1)
- handlers (1)
- initial semantics (1)
- linear logic (1)
- logical relations (1)
- monads (1)
- parametricity (1)
- program equivalence (1)
- semantics (1)
- state (1)
- substructural logics (1)
- syntax (1)
- system f (1)
- tutorial (1)
- universal types (1)
- variable bindings (1)