Speaker / Predavač : Prof. José Espírito Santo

Title / Naslov: CBN CBV and the intuitionistic asymmetry

Abstract / Abstrakt:

In this talk I return to the beloved troika of computer science: call-by-name (CBN), call-by-value (CBV), and the lambda-calculus. Proof theory discovered that the boolean duality of classical logic extends to a duality between CBN and CBV. The focus of the talk will be instead on the consequences for CBN and CBV of the intuitionistic asymmetry between hypothesis and conclusion.