Categorical models for simply typed resource calculi

by Antonio Bucciarelli , Thomas Ehrhard , Giulio Manzonetto
Venue:ENTCS
Citations:7 - 3 self