Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Factorization and Normalization, Essentially

Participant : Beniamino Accattoli.

This joint work with Claudia Faggian (CNRS researcher at Paris Diderot) and Giulio Guerrieri (Post-doc at Bath University) [15] refines a rewriting technique for proving factorization and normalization theorems for λ-calculi, that are theorems providing foundations to the design of functional programming languages and proof assistants. We both simplify and extend the scope of a widely used technique by Takahashi. At the concrete level, the new abstract technique is applied to four relevant case studies.