Menu

J. Levy

1 published title

An ideal model for an extended [lambda]-calculus with refinement

(Contributor)

1 edition

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

obnb.uk is a Good Stuff website.