Lista de

CALCULO-λ
2
Zeitoune, Giselle Elizabeth. (2023). "Un cálculo-λ cronometrado". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Milicich, Mariana. (2022). "Semántica denotacional para un cálculo-λ relacional". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.