An algebraic generalization of Frege structures -- binding algebras
type: Item
instance of: scholarly article
title: An algebraic generalization of Frege structures -- binding algebras
zbMATH Open document ID: 0915.68116
DOI: 10.1016/S0304-3975(97)00170-9
author: Yong Sun
published in: Theoretical Computer Science
publication date: 1999-01-12T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1238416
zbMATH Keywords: Frege structures
zbMATH Keywords: binding algebras
zbMATH Keywords: Birkhoff's method
zbMATH Keywords: binding equations
zbMATH Keywords: (admissible) equational logic
zbMATH Keywords: admissible completeness
MaRDI profile type: Publication
cites work: Q3912779
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Q3914980
cites work: Q5762080
cites work: Q3934450
cites work: The Universal Field of Fractions of a Semifir I. Numerators and Denominators
cites work: Q3221381
cites work: Q3812243
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: Q3737481
cites work: Q5572358
cites work: Q3852172
cites work: Set Theory and Nominalization, Part I
cites work: Set Theory and Nominalization, Part II
cites work: Q4159049
cites work: Higher order data types
cites work: Universal algebra in higher types
cites work: A recursive second order initial algebra specification of primitive recursion
cites work: On specifications, theories, and models with higher types
cites work: Data Types as Lattices
cites work: Logical relations and the typed λ-calculus
cites work: Axiomatization of calculus of constructions
cites work: Q5631102
description: scientific article; zbMATH DE number 1238416