Strong normalization from an unusual point of view

DOI10.1016/J.TCS.2010.12.018zbMATH Open1222.03020OpenAlexW2014545693WikidataQ57722170 ScholiaQ57722170MaRDI QIDQ534700FDOQ534700

Authors: Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca 

Publication date: 10 May 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2010.12.018

Recommendations

• Foundations of Software Science and Computation Structures
• Lazy strong normalization
• scientific article; zbMATH DE number 512779
• Strong normalization from weak normalization in typed \(\lambda\)-calculi
• Characterisation of strongly normalising \(\lambda\mu\)-terms

zbMATH Keywords

strong normalizationcall-by-valueparametric lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Call-by-name, call-by-value and the \(\lambda\)-calculus
• An extension of basic functionality theory for \(\lambda\)-calculus
• The parametric lambda calculus. A metamodel for computation.
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• A filter lambda model and the completeness of type assignment
• The lambda calculus, its syntax and semantics
• Some Properties of Conversion
• Title not available (Why is that?)
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• Intensional interpretations of functionals of finite type I
• Title not available (Why is that?)
• Full abstraction in the lazy lambda calculus
• Parametric parameter passing \(\lambda\)-calculus
• Lazy strong normalization
• A simple proof of the undecidability of strong normalisation
• Title not available (Why is that?)
• Call-by-value Solvability
• Automata, Logic and Games for the $$\lambda $$ -Calculus
• Title not available (Why is that?)
• The Calculi of Lambda Conversion. (AM-6)
• Foundations of Software Science and Computation Structures

Cited In (8)

• Foundations of Software Science and Computation Structures
• Title not available (Why is that?)
• The ant-lion paradigm for strong normalization
• Uniform strong normalization for multi-discipline calculi
• Open call-by-value
• On strong normality
• Lazy strong normalization
• Some characteristics of strong innermost normalization

This page was built for publication: Strong normalization from an unusual point of view

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q534700)