Factorization and Normalization, Essentially

27 Nov 2019 Accattoli Beniamino Faggian Claudia Guerrieri Giulio

Lambda-calculi come with no fixed evaluation strategy. Different strategies may then be considered, and it is important that they satisfy some abstract rewriting property, such as factorization or normalization theorems... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC IN COMPUTER SCIENCE