Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation
2003 ◽
Vol 13
(5)
◽
pp. 689-706
◽
2001 ◽
Vol 11
(1)
◽
pp. 169-206
◽
Keyword(s):
1999 ◽
Vol 211
(1-2)
◽
pp. 375-395
◽
2005 ◽
Vol 15
(05)
◽
pp. 669
◽
2001 ◽
Vol 269
(1-2)
◽
pp. 317-361
◽
1986 ◽
Vol 27
(4)
◽
pp. 547-550
◽
Keyword(s):
2016 ◽
Vol 213
◽
pp. 41-51