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