scientific article; zbMATH DE number 7599489
From MaRDI portal
Publication:5040170
zbMATH Open1496.03263MaRDI QIDQ5040170
Publication date: 11 October 2022
Title of this publication is not available (Why is that?)
Categorical logic, topoi (03G30) Models of other mathematical theories (03C65) Foundations, relations to logic and deductive systems (18A15)
Related Items (4)
Graded Hoare logic and its categorical semantics ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5040170)
