Octocurious

❯

Folder: ref

25 items under this folder.

19 May 2026
Mathematical Logic
19 May 2026
Basic Proof Theory
19 May 2026
Logic and Structure
19 May 2026
A Mathematical Introduction to Logic
19 May 2026
fiore2022-quotient-inductive
18 May 2026
dummett2000-intuitionism
17 May 2026
altenkirch2016-qiit
30 Apr 2026
hott2013-book
30 Apr 2026
Investigations into Logical Deduction
15 Apr 2026
riehl2014-categorical-homotopy-theory
15 Apr 2026
Programming in Martin-Löf's Type Theory: An Introduction
15 Apr 2026
martin-lof1984-mltt
15 Apr 2026
Revêtements Etales et Groupe Fondamental
15 Apr 2026
gabbay2002-new-approach-abstract
15 Apr 2026
girard1987-linear-logic
15 Apr 2026
altenkirch2011-inductive-inductive-semantics
22 Mar 2026
abbott2004-containers
11 Mar 2026
kaposi2019-constructing-qiit
07 Mar 2026
kovacs2020-infinitary-qiit
07 Mar 2026
riehl2016-category-theory
01 Mar 2026
damato2025-formalizing-containers
08 Feb 2026
shapiro1991-second-order-foundations
08 Feb 2026
pitts2021-inflationary-iteration
08 Feb 2026
collem2025-initial-domain-qiit
08 Feb 2026
berg2012-wisc

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community