2024-10-04: André Videla (MSP)

Wed, 2 Oct 2024 12:54:47 +0000

André Videla (MSP)

Cooking with Proofs

Abstract

The Curry-Howard correspondence says that types are propositions and programs are proofs. But what proof is Super Mario World on the SNES? In this introductory presentation we'll explore how the Curry-Howard correspondence manifests in different programming environments and how to employ it for software development.

2024-10-04 13:00:00 UTC
LT210 and Online