Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
Strong normalization
Computation theory
1
Computer circuits
1
Conditional rules
1
De Bruijn
1
De-Bruijn indices
1
Derivation space
1
Differentiation (calculus)
1
Explicit Substitutions
1
First order systems
1
Functional calculus
1
Garbage-free
1
Intersection types
1
Lambda calculus
1
Machinery
1
Object calculi
1
Reconfigurable hardware
1
Semilattices
1
Simulation theorem
1
Subject reduction
1
-
1
-
2