Categorical models for simply typed resource calculi

by Antonio Bucciarelli , Thomas Ehrhard , Giulio Manzonetto
Venue:ENTCS
Citations:14 - 6 self