"Exception Handling and Classical Logic."

Steffen van Bakel (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics