Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
5
Calculations
3
Differentiation (calculus)
3
CALCULO LAMBDA
2
COMBINATORY LOGIC
2
CURRY-HOWARD ISOMORPHISM
2
Higher-order rewriting
2
ISOMORFISMO DE CURRY-HOWARD
2
LAMBDA CALCULUS
2
LOGIC OF PROOFS
2
LOGICA COMBINATORIA
2
LOGICA DE PRUEBAS
2
LOGICA MODAL
2
MODAL LOGIC
2
Normalisation
2
PATRONES
2
PATTERNS
2
Type systems
2
Abstract Machine
1
Artificial intelligence
1
Biomineralization
1
Compilation
1
Compound data structure
1
Computer science
1
Concurrency
1
Concurrent programming
1
Correspondence assertions
1
Curry-Howard Isomorphism
1
Curry-de Bruijn-Howard isomorphism
1
Cálculo
1
-
1
-
2
-
3
-
4
-
5por Bonelli, EduardoMaterias: “...Linear Lambda Calculus...”
Publicado 2006
Aportado por: SEDICI (UNLP)Articulo -
6
-
7Materias: “...Differentiation (calculus)...”
-
8por Bonelli, EduardoMaterias: “...Lamda calculus...”
Publicado 2005
Aportado por: SEDICI (UNLP)Articulo -
9por Steren, GabrielaMaterias: “...LAMBDA CALCULUS...”
Publicado 2014
Tesis doctoral publishedVersion -
10por Steren, GabrielaMaterias: “...LAMBDA CALCULUS...”
Publicado 2014
Tesis doctoral publishedVersion