Related Tags
curry-howard × 27type-theory × 14
logic × 9
lambda-calculus × 4
functional-programming × 4
first-order-logic × 3
programming-languages × 2
proof-techniques × 2
propositional-logic × 2
dependent-types × 2
category-theory × 2
proof-assistants × 2
haskell × 2
computational-linguistics × 2
formal-languages × 1
computability × 1
reference-request × 1
recursion × 1
computation-models × 1
correctness-proof × 1
semantics × 1
mathematical-foundations × 1
constraint-satisfaction × 1
relational-algebra × 1
object-oriented × 1
