The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version)

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

Beitragende

Details

OriginalspracheEnglisch
Herausgeber (Verlag)arXiv
PublikationsstatusVeröffentlicht - 2025
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

Schlagworte