Skip to main navigation Skip to search Skip to main content

On Structuring Proof Search for First Order Linear Logic

  • P Bruscoli
  • , A Guglielmi

Research output: Contribution to conference › Paper

Fingerprint

Dive into the research topics of 'On Structuring Proof Search for First Order Linear Logic'. Together they form a unique fingerprint.
Sort by

Computer Science