The strength of SCT soundness

TitleThe strength of SCT soundness
Publication TypeJournal Article
Year of Publication2018
AuthorsFrittaion, E, Pelupessy, F, Steila, S, Yokoyama, K
JournalJournal of Logic and Computation
DOI10.1093/logcom/exy003