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 Thu Apr 18 13:01:57 2024 CEST.
