Skip to content

The Universal Resolving Algorithm: Inverse Computation in a Functional Language.

Sergei M. Abramov, Robert Glck

VenueBMPC
Year2000
ProceedingsMPC

Browse the full MPC paper archive.