Searching for "Simulating Expansions without Expansions." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Simulating Expansions Without Expansions
- …Simulating Expansions without Expansions Roberto DI COSMO Delia KESNER Laboratoire d…
- Cited by 15 (8 self) – Add To MetaCart
-
Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi
- … translation technique allowing to simulate expansions without expansion rules. We also show that confluence…
- Cited by 15 (7 self) – Add To MetaCart
-
A Confluent Reduction for the Extensional Typed Lambda-Calculus With Pairs, Sums, Recursion and Terminal Object
- …. Then we provide an effective mechanism to simulate expansions without expansion rules, so that the strong…
- Cited by 2 (0 self) – Add To MetaCart
-
Expanding the Cube
- … the technique of simulating-expansions-without-expansions [11, 26] to the Calculus of Constructions. However…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 4.
