Strong normalization from an unusual point of view

DOI10.1016/J.TCS.2010.12.018MaRDI QIDQ534700zbMATHOpenAlexWikidataFDO

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

zbMATH Keywords

strong normalizationcall-by-valueparametric lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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

Cites work

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

Cited in

(8)

• Lazy strong normalization
• Some characteristics of strong innermost normalization
• scientific article; zbMATH DE number 4134006 (Why is no real title available?)
• The ant-lion paradigm for strong normalization
• Foundations of Software Science and Computation Structures
• Uniform strong normalization for multi-discipline calculi
• Open call-by-value
• On strong normality

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)