Semantically Lifted Programming

The slides for this talk about a semiotic view on naturalness in formal methods are available here.