Non-deterministic untyped -calculus. A study about explicit non determinism in higher-order functional calculi (1991)

by U de' Liguoro