LARA

Lecturecise 04: From Programs to Formulas

Slides: pdf

Link from a past year: Compositional VCG