Parallel and algebraic lambda-calculi in intuitionistic propositional logic

From MaRDI portal

MaRDI QIDQ6742158arXivFDO

Authors Alejandro Díaz-Caro, Octavio Malherbe

Publication date 2024

Published in arXiv


arXiv classification

cs.LO















This page was built for publication: Parallel and algebraic lambda-calculi in intuitionistic propositional logic

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Parallel_and_algebraic_lambda-calculi_in_intuitionistic_propositional_logic&oldid=105923771"
Powered by MediaWiki