Octocurious

❯

Folder: ref

25 items under this folder.

17 Jun 2026
Mathematical Logic
15 Jun 2026
Quotient Inductive-Inductive Types
07 Jun 2026
A Finite Axiomatization of Inductive-Recursive Definitions
03 Jun 2026
Category Theory in Context
03 Jun 2026
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics
03 Jun 2026
Quotients, inductive types, and quotient inductive types
03 Jun 2026
Constructing Infinitary Quotient-Inductive Types
03 Jun 2026
Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type
03 Jun 2026
Type theory in type theory using quotient inductive types
01 Jun 2026
gambino2003-wi-types
01 Jun 2026
forsberg2010-inductive-inductive
01 Jun 2026
kaposi2019-constructing-qiit
30 May 2026
lumsdaine2018-higher-inductive-types
19 May 2026
Basic Proof Theory
19 May 2026
Logic and Structure
19 May 2026
A Mathematical Introduction to Logic
18 May 2026
dummett2000-intuitionism
30 Apr 2026
hott2013-book
30 Apr 2026
Investigations into Logical Deduction
15 Apr 2026
martin-lof1984-mltt
15 Apr 2026
girard1987-linear-logic
15 Apr 2026
altenkirch2011-inductive-inductive-semantics
15 Apr 2026
kaposi2019-finitary-induction-induction
22 Mar 2026
abbott2004-containers
01 Mar 2026
damato2025-formalizing-containers