Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory

From MaRDI portal
Publication:5098721

DOI10.1007/978-3-030-43520-2_12OpenAlexW3013669316MaRDI QIDQ5098721

Yoshihiro Maruyama

Publication date: 30 August 2022

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-43520-2_12




Related Items (2)




Cites Work




This page was built for publication: Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory