Friday, November 5, 1982
Bob Paré, Coherence conditions for indexed categories

Friday, November 5, 1982
David Lever, Instability of pulling back logic along continuous function

Friday, November 19, 1982
David Lever, Instability of pulling back logic along continuous function (continued)

Friday, November 19, 1982
Dietmar Schumacher, On "Finiteness and decidability I" of Linton

Friday, December 3, 1982
David Lever, Instability of pulling back logic along continuous function (continued)