Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Results
A normalisation result for higher-order calculi with explicit substitutions by Series: ^p Datos electrónicos (1 archivo : 323 KB)
Material type: Article Article; Literary form: Not fiction
Online access:
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: A0051.

The intensional lambda calculus by
Material type: Article Article; Literary form: Not fiction
Online access:
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: A0275.

Agregando polimorfismo a una lógica que identifica proposiciones isomorfas by
Material type: Text Text; Literary form: Not fiction
Publication details: 2020
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2020.
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: TES 20/72. Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (2).

Place hold
Hacia un sistema I polimórfico by
Material type: Article Article; Literary form: Not fiction
Online access:
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: A1223 .

Procesamiento eficaz de archivos de empleados utilizando tecnología serverless by
Material type: Text Text; Literary form: Not fiction
Publication details: 2021
Dissertation note: Tesina (Licenciatura en Sistemas) - Universidad Nacional de La Plata. Facultad de Informática, 2021.
Online access:
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: TES 21/23. Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (2).

Place hold
Pages