Searching for "Strong normalization for applied lambda calculi." – sorted by Relevance.
-
A coinductive approach to exact real number computation
- types with term rewriting rules. HOR’07, 2007. B. Strong normalization for applied lambda calculi. LMCS
- Add To MetaCart
-
◮ Digit spaces
- normalization for applied lambda calculi. Logical Methods in Computer Science, 1(2):1–14, 2005. T. Hou, B
- Add To MetaCart

