In: Comptes Rendus Mathematiques (Mathematical Reports), Vol. 12, No. 1, pages 21-26. La Societe Royale du Canada, L'Academie des Sciences, 1990.
Abstract: The author gives a definition of a linear fibration, which is a hyperdoctrine model of polymorphic linear logic, and show how to internalise the fibration, generating topos models. This gives a constructive set theoretical context for the logic of Petri nets, as recently developed by Marti-Oliet and Meseguer. The topos model the author constructs can be embedded in the model constructed by Pitts.
Keywords: polymorphic linear logic; topos; linear fibration; net logic.