Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
2
Differentiation (calculus)
2
Lambda calculus
Artificial intelligence
1
Computer circuits
1
Computer science
1
Curry howard isomorphism
1
Curry-Howard correspondence
1
Curry-Howard isomorphism
1
Equational theory
1
Extended abstracts
1
First order logic
1
First-order logic of proofs
1
First-order rewriting
1
Formal logic
1
Higher-order
1
Higher-order rewriting
1
Natural deduction
1
Provability semantics
1
Semantics
1
Soundness and completeness
1
Strong normalization
1
-
1Materias: “...Differentiation (calculus)...”
SER -
2