Strong normalization from an unusual point of view

Authors:
Luca Paolini;Elaine Pimentel;Simona Ronchi Della Rocca
Affiliations:
Università di Torino, Dipartimento di Informatica, Corso Svizzera, 185, 10149 Torino, Italy;Universidade Federal de Minas Gerais (BRAZIL), Departamento de Matemática, Av. Antonio Carlos, 6627 - Pampulha 30123-970 Belo Horizonte, MG, Brazil;Università di Torino, Dipartimento di Informatica, Corso Svizzera, 185, 10149 Torino, Italy
Venue:
Theoretical Computer Science
Year:
2011

Citing 9
Cited 0

Type theories, normal forms, and D∞-lambda-models

Information and Computation
The lazy lambda calculus

Research topics in functional programming
Full abstraction in the lazy lambda calculus

Information and Computation
Call-by-Value Separability and Computability

ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Structures for lazy semantics

PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
Parametric parameter passing λ-calculus

Information and Computation
Fully abstract models of the lazy lambda calculus

SFCS '88 Proceedings of the 29th Annual Symposium on Foundations of Computer Science
Lazy Strong Normalization

Electronic Notes in Theoretical Computer Science (ENTCS)
An operational characterization of strong normalization

FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures

Quantified Score

Hi-index	5.23

Visualization

Abstract

A new complete characterization of @b-strong normalization is given, both in the classical and in the lazy @l-calculus, through the notion of potential valuability inside two suitable parametric calculi.