A Guided Tour of Polarity and Focusing – TYPES 2025

4 days ago 4

This is the landing spot for Chris Martens' TYPES 2025 talk, "A Guided Tour of Polarity and Focusing."

Slides
A focusing and polarity reading list (you can add comments to make suggestions for things I've missed!)