Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
6
Differentiation (calculus)
5
Computer circuits
2
Lambda calculus
2
Pattern matching
2
Recursive types
2
Strong normalization
2
Artificial intelligence
1
Biomineralization
1
Compound data structure
1
Computer programming languages
1
Computer science
1
Conditional rules
1
Curry howard isomorphism
1
Curry-Howard correspondence
1
Curry-Howard isomorphism
1
Data structures
1
De Bruijn
1
De-Bruijn indices
1
Equational theory
1
Explicit Substitutions
1
Exponential time complexity
1
Extended abstracts
1
First order logic
1
First order systems
1
First-order logic of proofs
1
First-order rewriting
1
Formal logic
1
Functional calculus
1
Fundamental properties
1
-
1Materias: “...λ-Calculus...”
JOUR -
2Materias: “...Differentiation (calculus)...”
SER -
3
-
4Materias: “...Differentiation (calculus)...”
JOUR -
5Materias: “...Λ-calculus...”
CONF -
6Materias: “...Functional calculus...”
SER