Summary: An Operational Characterization of (lazy) Strong Normalization UnB 2006 - p. 1/16
An Operational Characterization
of (lazy) Strong Normalization
Luca Paolini and Simona Ronchi Della Rocca
Università di Torino, Dipartimento di Informatica
Elaine Pimentel
Universidade Federal de Minas Gerais (BRAZIL), Departamento de Matemática
q Outline
q Two problems
q Lambda Calculus
q -normal forms
q The Parametric
Lambda-Calculus
q Some -calculi
q On -Normal Forms
q Lazy evaluation
q -Solvability and Potential
Valuability
q A call-by-value
characterization of (lazy)

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

Collections: Mathematics