Compilación del lambda cálculo con matrices densidad en la máquina cuántica IBM-Q
Date
2023-12
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Keywords
Lambda cálculo, Computación cuántica, Matrices de densidad, Python, Traducción, Compilador, Inferencia de tipos