Menu

Julian Michael Lewis Bean

1 published title

Ribbon proofs : a proof system for the logic of bunched implications

1 edition

  • Queen Mary University of London, Department of Computer Science
  • 2006
  • Details

obnb.uk is a Good Stuff website.