Duality in Action (Invited Talk).
Paul Downen, Zena M. Ariola · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2021
The duality between "true" and "false" is a hallmark feature of logic. We show how this duality can be put to use in the theory and practice of programming languages and their implementations, too. Starting from a foundation of constructive logic as dialogues, we illustrate how it describes a symmetric language for computation, and survey several applications of the dualities found therein.