Bi-Intuitionistic Types via Alternating Contexts

Ranald Clouston and Ian Shillito

Paper

← All publications

Recommended citation: Clouston, Ranald and Shillito, Ian. (2020). "Bi-Intuitionistic Types via Alternating Contexts" TYPES 2020.
Download Paper