Octocurious
Search
Search
Dark mode
Light mode
Explorer
Home
❯
ref
Folder: ref
25 items under this folder.
30 Jun 2026
damato2025-formalizing-containers
30 Jun 2026
dummett2000-intuitionism
30 Jun 2026
A Finite Axiomatization of Inductive-Recursive Definitions
30 Jun 2026
A Mathematical Introduction to Logic
30 Jun 2026
Constructing Infinitary Quotient-Inductive Types
30 Jun 2026
Quotients, inductive types, and quotient inductive types
30 Jun 2026
forsberg2010-inductive-inductive
30 Jun 2026
gambino2003-wi-types
30 Jun 2026
Investigations into Logical Deduction
30 Jun 2026
girard1987-linear-logic
30 Jun 2026
hott2013-book
30 Jun 2026
kaposi2019-constructing-qiit
30 Jun 2026
kaposi2019-finitary-induction-induction
30 Jun 2026
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics
30 Jun 2026
Mathematical Logic
30 Jun 2026
lumsdaine2018-higher-inductive-types
30 Jun 2026
martin-lof1984-mltt
30 Jun 2026
Category Theory in Context
30 Jun 2026
Basic Proof Theory
30 Jun 2026
Logic and Structure
30 Jun 2026
abbott2004-containers
30 Jun 2026
altenkirch2011-inductive-inductive-semantics
30 Jun 2026
Quotient Inductive-Inductive Types
30 Jun 2026
Type theory in type theory using quotient inductive types
30 Jun 2026
Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type