Strong normalization in a non-deterministic typed lambda-calculus
2007 ◽
Vol 174
(5)
◽
pp. 109-125
◽
2020 ◽
Vol 351
◽
pp. 187-203
Keyword(s):
2020 ◽
Vol 4
(POPL)
◽
pp. 1-27
◽
1999 ◽
Vol 97
(1-3)
◽
pp. 179-201
◽