Computational interpretation of classical logic with explicit structural rules

From MaRDI portal

Computational interpretation of classical logic with explicit structural rules (scientific article from arXiv)

Jump to:navigation, search

MaRDI QIDQ7062633arXivFDO

Authors Silvia Ghilezan, Pierre Lescanne, Dragiša Žunić

Publication date 2012

Published in arXiv

arXiv classification

This page was built for publication: Computational interpretation of classical logic with explicit structural rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7062633)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Computational_interpretation_of_classical_logic_with_explicit_structural_rules_(scientific_article_from_arXiv)&oldid=106320560"