A Free Variable Calculus with Variable Splitting

Talk
June 5, 2003
Seminar in Mathematical Logic