Sustituciones explícitas y todo eso

Share this
Citación
Date
2000-12-01Author
Ayala Rincón, Mauricio
Muñoz, César
Metadata
Show full item recordAbstract
Explicit substitution calculi are extensions of the calculus where the substitution mechanism is internalized into the theory. This feature makes them suitable for implementation and theoretical study of logic based tools as strongly typed programming languages and proof assistant systems. In this paper we explore new developments on two of the most successful styles of explicit substitution calculi: the λσ- and λsе-calculi.Keywords: Explicit substitution, higher order uni cation, lambda-calculi, type and rewriting theory.
Keywords
Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT'sLink to resource
https://revistas.unab.edu.co/index.php/rcc/article/view/1128
Estadísticas Google Analytics