Toggle navigation
Repositorio Institucional
CONICET Digital
Inicio
EXPLORAR
AUTORES
DISCIPLINAS
COMUNIDADES
Estadísticas
Novedades
Noticias
Boletines
Ayuda
General
Datos de investigación
Acerca de
CONICET Digital
Equipo
Red Federal
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
Refinar búsqueda
Fecha de publicación
2023
1
2022
3
2020
1
2019
3
2018
1
Disciplinas
Ciencias de la Computación
9
Ciencias de la Computación e Información
9
CIENCIAS NATURALES Y EXACTAS
9
Tipo de documento
Artículos
9
Tipo de acceso
Acceso abierto
7
Acceso restringido
2
Idioma
Inglés
9
Autor
Díaz Caro, Alejandro
9
Dowek, Gilles
3
Malherbe, Octavio
3
Martínez, Guido
1
Rinaldi, Juan Pablo
1
Romero, Lucas Rafael
1
Palabras clave
QUANTUM COMPUTING
6
CATEGORICAL SEMANTICS
3
LAMBDA CALCULUS
3
ALGEBRAIC LAMBDA-CALCULUS
2
PROOF-REDUCTION
2
ABSTRACT REWRITING SYSTEM
1
ALGEBRAIC LINEARITY
1
CONFLUENCE
1
CUT-ELIMINATION
1
ISOMORPHISMS
1
... Ver mas
Buscar
Filtros
Use los filtros para refinar su búsqueda.
Filtro actual:
Titulo
Fecha de publicación
xmlui.ArtifactBrowser.SimpleSearch.filter.subjectClassification
Tipo de documento
xmlui.ArtifactBrowser.SimpleSearch.filter.acceso
Idioma
Autor
Tema
Contiene
Es igual
No contiene
No es igual
Nuevo filtro:
Titulo
Fecha de publicación
xmlui.ArtifactBrowser.SimpleSearch.filter.subjectClassification
Tipo de documento
xmlui.ArtifactBrowser.SimpleSearch.filter.acceso
Idioma
Autor
Tema
Contiene
Es igual
No contiene
No es igual
Autor:Díaz Caro, Alejandro
X
Mostrando 9 de un total de 9 resultados para la colección: Articulos(ICC).
(0.01 segundos)
Mostrando ítems 1-9 de 9
1
Orden:
Relevancia
Titulo Asc
Titulo Desc
Fecha de publicación Asc
Fecha de publicación Desc
Resultados por página:
5
10
20
40
60
80
100
Artículo
Confluence in Probabilistic Rewriting
Díaz Caro, Alejandro
;
Martínez, Guido
(
Elsevier
,
2018-10
)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo
Two linearities for quantum computing in the lambda calculus
Díaz Caro, Alejandro
;
Dowek, Gilles
;
Rinaldi, Juan Pablo
(
Elsevier
,
2019-12
)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo
Proof Normalisation in a Logic Identifying Isomorphic Propositions
Díaz Caro, Alejandro
;
Dowek, Gilles
(
Schloss Dagstuhl. Leibniz-Zentrum für Informatik
,
2019-06
)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo
A categorical construction for the computational definition of vector spaces
Díaz Caro, Alejandro
;
Malherbe, Octavio
(
Springer
,
2020-10
)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo
A note on confluence in typed probabilistic lambda calculi
Romero, Lucas Rafael
;
Díaz Caro, Alejandro
(
Open Publishing Association
,
2022-04
)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
Díaz Caro, Alejandro
;
Malherbe, Octavio
(
Technische Universität Braunschweig
,
2022-09
)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo
A Quick Overview on the Quantum Control Approach to the Lambda Calculus
Díaz Caro, Alejandro
(
Open Publishing Association
,
2022-04
)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo
A Concrete Categorical Semantics of Lambda-S
Díaz Caro, Alejandro
;
Malherbe, Octavio
(
Elsevier Science
,
2019-08
)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo
A new connective in natural deduction, and its application to quantum computing
Díaz Caro, Alejandro
;
Dowek, Gilles
(
Elsevier Science
,
2023-05
)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Mostrando ítems 1-9 de 9
1
Orden:
Relevancia
Titulo Asc
Titulo Desc
Fecha de publicación Asc
Fecha de publicación Desc
Resultados por página:
5
10
20
40
60
80
100