Skip to main navigation Skip to search Skip to main content

A Mixed Linear and Graded Logic: Proofs, Terms, and Models

  • Victoria Vollmer
  • , Danielle Marshall
  • , Harley Eades
  • , Dominic Orchard

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3   Link opens in a new tab Scopus citations

Fingerprint

Dive into the research topics of 'A Mixed Linear and Graded Logic: Proofs, Terms, and Models'. Together they form a unique fingerprint.
Sort by

Computer Science

Mathematics

Keyphrases