ArticlesSimilarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions (Extended Abstract)
Under a Creative Commons license
open access
Keywords
lambda-calculus
applicative bisimilarity
countable non-determinism
Cited by (0)
- 1
Supported by a grant form the Danish Natural Science Research Council and grant number GR/L38356 from the UK EPSRC.
- 2
Partially supported by a UK EPSRC studentship.
Copyright © 2004 Elsevier B.V.