Lambda-beta: A Virtual LOTOS Machine.

Jos A. Maas, Joaqun Salvacha

Browse the full FORTE paper archive.