This page was built for publication: La théorie des types logiques.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1484785)
This page was built for publication: La théorie des types logiques.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1484785)