Krivine Machine and Taylor Expansion in a Non-uniform Setting
2017 ◽
Vol 238
◽
pp. 24-32
2011 ◽
Vol 5
(1)
◽
pp. 44
◽
1998 ◽
Vol 12
(25)
◽
pp. 2599-2617
◽
2016 ◽
Vol 28
(4)
◽
pp. 472-507
◽
1985 ◽
Vol 111
(1)
◽
pp. 122-123