Must Preorder in Non-Deterministic Untyped λ-calculus (1992)
by
U. de'Liguoro
,
A. Piperno
| Venue: | IN CAAP '92, VOLUME 581 OF LNCS |
| Citations: | 9 - 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 |
