A sound and complete logic for algebraic effects

Manylion Llyfryddiaeth
Prif Awduron: Staton, S, Matache, C
Fformat: Conference item
Cyhoeddwyd: Springer 2019

Eitemau Tebyg