Searching for "Partial Applicative Theories and Explicit Substitutions." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Partial Applicative Theories and Explicit Substitutions
- …Partial Applicative Theories and Explicit Substitutions Thomas Strahm Institut fur Informatik…
- Cited by 6 (1 self) – Add To MetaCart
-
On the Proof Theory of Applicative Theories
- …. In Section 6, finally, we give a review of our paper [68] on partial applicative theories and explicit…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 2.
