Refinar búsqueda

Fecha de publicación

Disciplinas

Tipo de documento

Artículos

3

Tipo de acceso

Idioma

Inglés

3

Autor

Palabras clave

Buscar

Filtros

Use los filtros para refinar su búsqueda.

Filtro actual:


Nuevo filtro:

Palabra clave:LAMBDA CALCULUS X

Mostrando 3 de un total de 3 resultados para la colección: Articulos(ICC). (0.004 segundos)

Mostrando ítems 1-3 de 3

1

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 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-3 de 3

1