Skip to main content
×
Home

From type theory and homotopy theory to Univalent Foundations of Mathematics

Volume 25 - Issue 5 - June 2015

Introduction

Paper