Related Tags
type-systems × 89type-theory × 44
pl.programming-languages × 23
lambda-calculus × 15
dependent-type × 14
lo.logic × 13
typed-lambda-calculus × 12
type-inference × 12
calculus-of-constructions × 7
reference-request × 6
functional-programming × 5
object-oriented × 4
ct.category-theory × 3
set-theory × 3
denotational-semantics × 3
normalization × 3
haskell × 3
operational-semantics × 3
pi-calculus × 3
proofs × 2
coq × 2
compilers × 2
recursion × 2
linear-logic × 2
homotopy-type-theory × 2