Holomorhpic Models of Exponential Types in Linear Logic.

Richard Blute, Robert A. G. Seely, Prakash Panangaden

Browse the full MFPS paper archive.