Summary: 



First Order Linear Logic



in



Symmetric Monoidal Closed



Categories

Source: Ambler, Simon - Department of Computer Science, University of Leicester

Collections: Computer Technologies and Information Sciences