Filter by: Subject
Now showing items 1-10
Categoría funtorial (2) |
Denotational semantics (2) |
Lambda calculus and related systems (2) |
Lógica matemática (2) |
Semántica de lenguajes de programación (2) |
Semántica denotacional (2) |
Agda (1) |
Categorías (1) |
Cálculo lambda y sistemas relacionados (1) |
Código intermedio (1) |