Frittaion, Emanuele; Pelupessy, Florian; Steila, Silvia; Yokoyama, Keita
(2018).
The strength of SCT soundness.
Journal of logic and computation, 28(6), pp. 1217-1242.
Oxford University Press
10.1093/logcom/exy003
This list was generated on Sat Dec 21 18:18:19 2024 CET.
