Locally Cartesian Closed Infinity Categories

Date

Speakers

Joachim Kock

Affiliation

Universitat Autonoma de Barcelona