A free variable calculus with variable splitting

Foredrag
5. June 2003
Seminar i matematisk logikk