Homotopy Type Theory inductive-inductive type > history

Redirected from "logics".

< inductive-inductive type