hand sketched logo of electrons orbiting a nucleus
PaperTalk

Propositions as Types by Philip Wadler

Here's the paper

Here's the talk