Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
An Operational Characterization of (lazy) Strong Normalization UnB 2006 -p. 1/16 An Operational Characterization
 

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