Ontario.
Jean-Pierre Ginisti
Thomas L. Floyd
A. W. Goodman
Katalin Bimbó
Harry R. Lewis
Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)
Chris J. Myers
Guy Cousineau