Extensión de lambda-s para diferentes bases de medición

Monzón, Nicolás Alberto

Extensión de lambda-s para diferentes bases de medición, (2025)

Monzón, Nicolás Alberto

Unidad Académica: Ingeniería y Ciencias Exactas
Carrera/Maestría: Ing. Informática
Editor Institucional: Universidad Argentina de la Empresa
Tutor: Prada, Federico
Temas: Ingeniería; Informática; Lenguajes de Programación; Automatización
Extensión: 198 p.

Resumen:

En este trabajo, se presenta Lambda-𝑆 X como una extensión de Lambda-𝑆 para rastrear no solo la base computacional, con el tipo B, sino también una base de Hadamard representada con X. Tener más bases como tipos implica un lenguaje de programación donde tengamos más datos clásicos, ya que son copiables, medibles, etc.

Mostrar el registro completo del ítem