Ghilezan and Viktor Kunčak. Confluence of untyped lambda calculus via simple types. Lecture (0)

by Silvia