Pure type systems with explicit substitutions

Fil: Fridlender, Daniel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.

Bibliographic Details
Main Authors: Fridlender, Daniel, Pagano, Miguel
Format: publishedVersion
Language:eng
Published: 2022
Subjects:
Online Access:http://hdl.handle.net/11086/27605
https://doi.org/10.1017/S0956796815000210