Modified realizability toposes and strong normalization proofs
1993 ◽
pp. 179-194
◽
Keyword(s):
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