Models of Lambda-Calculus and the Weak MSO Logic.

Pawel Parys, Szymon Torunczyk

Browse the full CSL paper archive.