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