Continuous semantics for strong normalisation
type: Item
instance of: scholarly article
title: Continuous semantics for strong normalisation
zbMATH Open document ID: 1115.03008
DOI: 10.1017/S0960129506005457
author: Ulrich Berger
published in: Mathematical Structures in Computer Science
publication date: 2007-02-09T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 5123708
zbMATH Keywords: lambda calculus
zbMATH Keywords: higher-type rewrite systems
zbMATH Keywords: domain-theoretic semantics
zbMATH Keywords: bar recursion
MaRDI profile type: MaRDI publication profile
full work available at URL: s0960129506005457
OpenAlex ID: W2170835260
description: scientific article; zbMATH DE number 5123708