Duality in Action (Invited Talk)

Paul Downen, Zena M. Ariola, Naoki Kobayashi
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.
doi:10.4230/lipics.fscd.2021.1 fatcat:orleuqoeefcm5mjs5m5mrlpifu