Cited By
View all- Shen XZheng K(2019) Characterizing of Strong Normalization for Λμ -Calculus Journal of Physics: Conference Series10.1088/1742-6596/1187/4/0420461187:4(042046)Online publication date: 8-May-2019
- Santo JGhilezan SVanhoof WPientka B(2017)Characterization of strong normalizability for a sequent lambda calculus with co-controlProceedings of the 19th International Symposium on Principles and Practice of Declarative Programming10.1145/3131851.3131867(163-174)Online publication date: 9-Oct-2017
- Kikuchi KSakurai T(2014)A Translation of Intersection and Union Types for the λμ-CalculusProgramming Languages and Systems10.1007/978-3-319-12736-1_7(120-139)Online publication date: 2014
- Show More Cited By