Menu

D. J. Pym

1 published title

On resolution in fragments of classical linear logic (extended abstract)

(Contributor)

1 edition

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

obnb.uk is a Good Stuff website.