A Recipe for Models, Told Twice

Dr Andrea Schalk , School of Computer Science at The University of Manchester One of the pleasures of long mathematical collaborations is watching how the same ideas get told differently by different people. Andrea Schalk and I worked together on models of linear logic for some years, and the pair of papers I want to discuss today — one a conference extended abstract from AMAST 1999, the other its…