scientific article
From MaRDI portal
Publication:2969774
zbMath1358.03017MaRDI QIDQ2969774
Michael A. Warren, Álvaro Pelayo
Publication date: 23 March 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Categorical logic, topoi (03G30) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Categories of sets, characterizations (18B05) Topological categories, foundations of homotopy theory (55U40) Foundations, relations to logic and deductive systems (18A15)