Your search returned 4 results.

Results
	1.	No cover image available A normalisation result for higher-order calculi with explicit substitutions by Bonelli, Eduardo Series: ^p Datos electrónicos (1 archivo : 323 KB) Material type: Article; Format: large print regular print Publication details: ref_localidad@37940 : , 2003 Online access: Click here to access online Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0051. Place hold Add to cart (remove)
	2.	No cover image available The intensional lambda calculus by Artemov, Sergei Bonelli, Eduardo Material type: Article; Format: large print regular print Publication details: ref_localidad@NULL : Springer, 2007 Online access: Click here to access online Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A0275. Place hold Add to cart (remove)
	3.	No cover image available Agregando polimorfismo a una lógica que identifica proposiciones isomorfas by Sottile, Cristian Díaz Caro, Alejandro [Director/a] Pons, Claudia Fabiana [Codirector/a] Material type: Text; Format: large print regular print Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2020. Online access: Click here to access online Click here to access online Availability: Items available for reference: Biblioteca Fac.Informática: Not for loan (1)Call number: TES 20/72 . Add to cart (remove)
	4.	No cover image available Hacia un sistema I polimórfico by Sottile, Cristian Díaz Caro, Alejandro Martínez López, Pablo Ernesto Material type: Article; Format: large print regular print Publication details: : , 2019 Online access: Click here to access online Click here to access online Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: A1223 . Place hold Add to cart (remove)

Powered by Koha