Search
Now showing items 1-3 of 3
Dos temas en reescritura: combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de PruebasTwo topics in rewriting: combinators for pattern calculi and Curry-Howard for the Logic of Proofs
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2014)
Tipos para seguridad basada en flujo de información y computación auditadaTypes for security based-on information flow and audited computation
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2012)