Mostrando
1 - 3
Resultados de
3
Para Buscar '
Kamareddine, F.
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Kamareddine, F.
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Kamareddine, F.
'
, tiempo de consulta: 0.04s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Relating the λσ- and λs-styles of explicit substitutions
por
Kamareddine
,
F
.
,
Rìos, A.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
2
Pure type systems with de Bruijn indices
por
Kamareddine
,
F
.
,
Ríos, A.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
3
The weak normalization of the simply typed λse-calculus
por
Arbiser, A.
,
Kamareddine
,
F
.
,
Rios, A.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Theorem proving
Automath systems
Computer programming languages
Computer science
Dependent theory
Differentiation (calculus)
Edinburgh logical frameworks
Explicit substitution
Explicit substitutions
Formal logic
Lambda calculus
Mathematical techniques
Normalization
Polymorphic theory
Pure type systems
Simple typing
System theory
Cargando...