MoL-2021-02: Wijnand Koen van Woerkom Algebraic models of type theory 1.Full Text, 2.Abstract. < Back
