Must Preorder in Non-Deterministic Untyped λ-calculus (1992)

by U. de'Liguoro , A. Piperno
Venue:IN CAAP '92, VOLUME 581 OF LNCS
Citations:10 - 1 self

Document Versions

Must Preorder in Non-Deterministic Untyped λ-calculus –U. de'Liguoro, A. Piperno — 1992 — IN CAAP '92, VOLUME 581 OF LNCS
Must preorder in non-deterministic untyped -calculus –A. Piperno — 1992 — In CAAP '92, volume 581 of LNCS