Constructive And Combinatory Logic

EUROCAL '85

Volume 204 of the series Lecture Notes in Computer Science pp 179-180

Date:

The Algos computational system

  • Henson GravesAffiliated withAlgos Project Department of Mathematics and Computer Science, San Jose State University
  • , Lee BlaineAffiliated withAlgos Project Department of Mathematics and Computer Science, San Jose State University

* Final gross prices may vary according to local VAT.

Get Access