Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda
2020 ◽
Vol 351
◽
pp. 187-203
Keyword(s):
Keyword(s):
2018 ◽
Vol 338
◽
pp. 79-95
◽
Keyword(s):
2015 ◽
Vol 312
◽
pp. 215-230
◽
2018 ◽
Vol 274
◽
pp. 27-41
Keyword(s):
2016 ◽
Vol 323
◽
pp. 109-124
◽
Keyword(s):