Homotopy Type Theory inductive-inductive type > history

Redirected from "logics".

< inductive-inductive type

category: redirected to nlab