Related Tags
type-systems × 69type-theory × 36
pl.programming-languages × 20
lo.logic × 13
lambda-calculus × 12
type-inference × 10
dependent-type × 9
typed-lambda-calculus × 8
functional-programming × 5
reference-request × 4
object-oriented × 4
denotational-semantics × 3
calculus-of-constructions × 3
haskell × 3
normalization × 3
operational-semantics × 3
ct.category-theory × 2
coq × 2
set-theory × 2
compilers × 2
linear-logic × 2
recursion × 2
parametricity × 2
polymorphism × 2
logical-relations × 2
