Strong stability and the incompleteness of stable models for \(\lambda\)-calculus
type: Item
instance of: scholarly article
title: Strong stability and the incompleteness of stable models for \(\lambda\)-calculus
zbMATH Open document ID: 0935.03021
DOI: 10.1016/S0168-0072(99)00015-9
author: Olivier Bastonero
author: Xavier Gouy
published in: Annals of Pure and Applied Logic
publication date: 1999-11-29T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 1371591
zbMATH Keywords: lambda calculus
zbMATH Keywords: denotational semantics
zbMATH Keywords: strong stability
zbMATH Keywords: stable models
zbMATH Keywords: incompleteness
zbMATH Keywords: continuous model
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1371591