Strong normalization from an unusual point of view
type: Item
instance of: scholarly article
title: Strong normalization from an unusual point of view
zbMATH Open document ID: 1222.03020
author: Luca Paolini
author: Elaine Pimentel
author: Simona Ronchi Della Rocca
published in: Theoretical Computer Science
publication date: 2011-05-10T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 5886380
zbMATH Keywords: strong normalization
zbMATH Keywords: call-by-value
zbMATH Keywords: parametric lambda calculus
MaRDI profile type: Publication
full work available at URL: j.tcs.2010.12.018
OpenAlex ID: W2014545693
Wikidata QID: Q57722170
cites work: Full abstraction in the lazy lambda calculus
cites work: A filter lambda model and the completeness of type assignment
cites work: The lambda calculus, its syntax and semantics
cites work: Type theories, normal forms, and \(D_{\infty}\)-lambda-models
cites work: Some Properties of Conversion
cites work: The Calculi of Lambda Conversion. (AM-6)
cites work: An extension of basic functionality theory for \(\lambda\)-calculus
cites work: Q3997125
cites work: Q5625124
cites work: A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
cites work: Q3997016
cites work: Automata, Logic and Games for the $$\lambda $$ -Calculus
cites work: Call-by-value Solvability
cites work: Q4448358
cites work: Lazy strong normalization
cites work: Parametric parameter passing \(\lambda\)-calculus
cites work: Foundations of Software Science and Computation Structures
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: The parametric lambda calculus. A metamodel for computation.
cites work: Intensional interpretations of functionals of finite type I
cites work: A simple proof of the undecidability of strong normalisation
cites work: The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
DOI: 10.1016/J.TCS.2010.12.018
description: scientific article; zbMATH DE number 5886380