Login / Signup

Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions.

Søren B. LassenCorin Pitcher
Published in: Electron. Notes Theor. Comput. Sci. (1997)
Keyphrases