Searching for "A Note on Shortest Developments" – sorted by Relevance.
-
Normalization in λ-Calculus and Type Theory
- . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 1.7 Maximal and perpetual redexes . . . . . . . . . . . . . . . . . 47 1.8 A note on shortest
- Add To MetaCart

