Name
Title | ||
|---|---|---|
An Extension of Klop's Counterexample to the Church-Rosser Property to lambda-Calculus with other Ordered Pair Combinators |
Year | Venue | DocType |
|---|---|---|
1985 | Theor. Comput. Sci. | Journal |
Volume | Citations | PageRank |
39 | 1 | 0.90 |
References | Authors | |
0 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Martin W. Bunder | 1 | 64 | 16.78 |