Continuous semantics for strong normalisation

DOI10.1017/S0960129506005457MaRDI QIDQ3422018zbMATH OpenOpenAlexFDO

Authors Ulrich Berger

Publication date 9 February 2007

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129506005457

zbMATH Keywords

bar recursiondomain-theoretic semanticshigher-type rewrite systemslambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• New Computational Paradigms
• Computer Science Logic
• Strong normalisation for applied lambda calculi
• A domain model characterising strong normalisation
• A proof of strong normalisation using domain theory

Cited in

(8)

• Breaking through the normalization barrier: a self-interpreter for F-omega
• On completeness of reducibility candidates as a semantics of strong normalization
• scientific article; zbMATH DE number 1948154 (Why is no real title available?)
• scientific article; zbMATH DE number 7269245 (Why is no real title available?)
• Computer Science Logic
• A proof of strong normalisation using domain theory
• New Computational Paradigms
• On the Logical Strength of Confluence and Normalisation for Cyclic Proofs.

This page was built for publication: Continuous semantics for strong normalisation

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