Enlargements of functional algebras for the lambda calculus
type: Item
instance of: scholarly article
title: Enlargements of functional algebras for the lambda calculus
zbMATH Open document ID: 0901.03016
DOI: 10.1016/S0304-3975(97)00126-6
author: Robert Goldblatt
published in: Theoretical Computer Science
publication date: 1998-08-13T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 1190301
zbMATH Keywords: lambda calculus
zbMATH Keywords: environment models
zbMATH Keywords: lambda abstraction algebras
zbMATH Keywords: nonstandard mathematics
zbMATH Keywords: restricted algebras of functions
MaRDI profile type: Publication
cites work: Q3728878
cites work: A set of postulates for the foundation of logic. II
cites work: Q4132530
cites work: Q4217595
cites work: Lambda‐Calculus Models and Extensionality
cites work: Q3708229
cites work: Q5616133
cites work: Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
cites work: Cylindric algebras. Part II
cites work: What is a model of the lambda calculus?
cites work: Nonfinitizability of classes of representable cylindric algebras
cites work: A constructive approach to nonstandard analysis
cites work: A Powerdomain Construction
cites work: Set-theoretical and other elementary models of the \(\lambda\)-calculus
cites work: Q4835611
cites work: Lambda abstraction algebras: representation theorems
cites work: Q4744268
cites work: Non-standard analysis
cites work: A finite equational axiomatization of the functional algebras for the lambda calculus
cites work: Q5649639
cites work: Data Types as Lattices
description: scientific article; zbMATH DE number 1190301