Related Tags
inductive-datatypes × 36type-theory × 20
dependent-types × 11
functional-programming × 6
coq × 5
programming-languages × 4
recursion × 4
logic × 3
proof-assistants × 3
reference-request × 2
sets × 2
induction × 2
homotopy-type-theory × 2
agda × 2
terminology × 1
trees × 1
lambda-calculus × 1
strings × 1
arithmetic × 1
coding-theory × 1
notation × 1
semantics × 1
encoding-scheme × 1
mathematical-foundations × 1
category-theory × 1