Menu

Joshua S. Hodas

1 published title

Logic programming in a fragment of intuitionistic linear logic : extended abstract

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1991
  • Details

obnb.uk is a Good Stuff website.