Continuous semantics for strong normalization

DOI10.1007/11494645_4MaRDI QIDQ5717056zbMATH OpenOpenAlexFDO

Authors Ulrich Berger

Publication date 11 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136981

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• Continuous semantics for strong normalisation
• Computer Science Logic
• Strong normalisation for applied lambda calculi
• Strong normalization in type systems: A model theoretical approach
• A domain model characterising strong normalisation

Cited in

(18)

• Continuous normalization for the lambda-calculus and Gödel's T
• Strong normalization in type systems: A model theoretical approach
• Breaking through the normalization barrier: a self-interpreter for F-omega
• On completeness of reducibility candidates as a semantics of strong normalization
• Continuous semantics for strong normalisation
• scientific article; zbMATH DE number 4055611 (Why is no real title available?)
• On continuous normalization
• A constructive analysis of learning in Peano arithmetic
• A generic strong normalization argument: Application to the calculus of constructions
• Size-based termination of higher-order rewriting
• Non-determinism, non-termination and the strong normalization of System T
• Strong normalisation for applied lambda calculi
• Computer Science Logic
• A proof of strong normalisation using domain theory
• Constructive Mathematics and Functional Programming (Abstract)
• On the Logical Strength of Confluence and Normalisation for Cyclic Proofs.
• Non-determinism in Gödel's system \(T\)
• A domain model characterising strong normalisation

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

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