What is a Categorical Model of Intuitionistic Linear Logic?

What is a Categorical Model of Intuitionistic Linear Logic?

Gavin M. Bierman

01 September 1995

Venue : TLCA

External Link: https://doi.org/10.1007/BFb0014046

Resources For

Partners

Emerging Technology

What’s New

Contact Us