Categorical models for simply typed resource calculi (2010)

by A Bucciarelli, T Ehrhard, G Manzonetto
Venue:26 th Conference on the Mathematical Foundations of Programming Semantics (MFPS2010