Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation
Keyword(s):
1996 ◽
Vol 54
◽
pp. 418-419
2020 ◽
Vol 7
(3)
◽
pp. 1-27
Keyword(s):