Mostrando ítems 1-3 de 3
On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders
(UR. FI. INCO-Pedeciba, 2017)
Este trabajo trata sobre el razonamiento formal veri cado por computadora involucrando lenguajes
con operadores de ligadura.
Comenzamos presentando el Cálculo Lambda, para el cual utilizamos la sintaxis histórica, esto ...