scientific article; zbMATH DE number 7599486
From MaRDI portal
Publication:5040167
zbMath1496.18002MaRDI QIDQ5040167
Publication date: 11 October 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Foundations, relations to logic and deductive systems (18A15) Type theory (03B38) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)
Related Items (1)
This page was built for publication:
