Axel Kerinec, Giulio Manzonetto, Federico Olimpieri. Why Are Proofs Relevant in Proof-Relevant Models?. Proceedings of the ACM on Programming Languages, 7(POPL):218-248, January 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.