Searching for "Pure type systems with explicit substitution." – 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.

Pure Type Systems with Explicit Substitution
by Roel Bloo — 2000
… an extension of pure type systems with explicit substitution. It is shown that the type systems with explicit…
Cited by 4 (0 self) – Add To MetaCart

Absolute Explicit Unification
by Nikolaj Bjørner, César Muñoz — 2000 — in International Conference on Rewriting Techniques and Applications (RTA'2000
…@(email omitted); Abstract. This paper presents a system for explicit substitutions in Pure Type Systems (PTS). The system…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 2.

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