Searching for "Explicit Substitution On the Edge of Strong Normalization." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Explicit Substitution: on the Edge of Strong Normalization
by Roel Bloo, Herman Geuvers — 1997 — Theoretical Computer Science
…Explicit Substitution: on the Edge of Strong Normalization Roel Bloo bloo@(email omitted); Herman…
Cited by 29 (2 self) – Add To MetaCart

Use and Meaning of Open Terms in Interactive Formal Problem Solving
by R.P. Nederpelt
…. Bloo and H. Geuvers, Explicit Substitution: On the edge of Strong Normalization, to appear…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB