Continuous semantics for strong normalisation

DOI10.1017/S0960129506005457zbMath1115.03008OpenAlexW2170835260MaRDI QIDQ3422018

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

lambda calculusbar recursiondomain-theoretic semanticshigher-type rewrite systems

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

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