Toggle navigation
Notables
de la Ciencia
ACERCA DE
PROYECTO
Historia del proyecto
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
PRODUCCION CIENTÍFICO TECNOLÓGICA
Mostrando ítems 1-1 de 1
Artículo
A note on confluence in typed probabilistic lambda calculi
Romero, Lucas Rafael
;
Díaz Caro, Alejandro
(
Open Publishing Association
,
2022-04
)
Mostrando ítems 1-1 de 1