Skip to main content
×
×
Home

From type theory and homotopy theory to Univalent Foundations of Mathematics

Volume 25 - Special Issue 5 - June 2015

Introduction

Paper