On functions preserving levels of approximation: A refined model construction for various lambda calculi
type: Item
instance of: scholarly article
title: On functions preserving levels of approximation: A refined model construction for various lambda calculi
zbMATH Open document ID: 0913.68136
DOI: 10.1016/S0304-3975(98)00144-3
author: Dieter Spreen
published in: Theoretical Computer Science
publication date: 1999-01-12T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1238996
zbMATH Keywords: dI-domains
zbMATH Keywords: approximation structure
zbMATH Keywords: projection morphism
zbMATH Keywords: \(\lambda \beta\)p-calculus
zbMATH Keywords: \(\lambda\)-algebra
zbMATH Keywords: \(\lambda\)-model
MaRDI profile type: Publication
cites work: Q4282566
cites work: Recursion over realizability structures
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Retractions of dI-domains as a model for Type:Type
cites work: Q3028334
cites work: Q3787462
cites work: Q3811687
cites work: Q4288818
cites work: Lambda‐Calculus Models and Extensionality
cites work: Q4722037
cites work: Models of the lambda calculus
cites work: A Powerdomain Construction
cites work: The Category-Theoretic Solution of Recursive Domain Equations
description: scientific article; zbMATH DE number 1238996