Octocurious
Search
Search
Dark mode
Light mode
Explorer
Home
❯
ref
Folder: ref
25 items under this folder.
13 May 2026
kaposi2019-constructing-qiit
13 May 2026
altenkirch2016-qiit
13 May 2026
Logic and Structure
13 May 2026
Investigations into Logical Deduction
13 May 2026
riehl2016-category-theory
13 May 2026
A Mathematical Introduction to Logic
13 May 2026
Mathematical Logic
13 May 2026
kovacs2020-infinitary-qiit
13 May 2026
Revêtements Etales et Groupe Fondamental
13 May 2026
collem2025-initial-domain-qiit
13 May 2026
abbott2004-containers
13 May 2026
altenkirch2011-inductive-inductive-semantics
13 May 2026
Programming in Martin-Löf's Type Theory: An Introduction
13 May 2026
gabbay2002-new-approach-abstract
13 May 2026
Basic Proof Theory
13 May 2026
riehl2014-categorical-homotopy-theory
13 May 2026
dummett2000-intuitionism
13 May 2026
fiore2022-quotient-inductive
13 May 2026
girard1987-linear-logic
13 May 2026
martin-lof1984-mltt
13 May 2026
berg2012-wisc
13 May 2026
pitts2021-inflationary-iteration
13 May 2026
damato2025-formalizing-containers
13 May 2026
shapiro1991-second-order-foundations
13 May 2026
hott2013-book