\(\lambda\)-definability of free algebras
type: Item
instance of: scholarly article
title: \(\lambda\)-definability of free algebras
zbMATH Open document ID: 0727.03010
DOI: 10.1016/0168-0072(91)90019-I
author: Marek Zaionc
published in: Annals of Pure and Applied Logic
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 08B20
zbMATH DE Number: 4200169
zbMATH Keywords: typed lambda-calculus
zbMATH Keywords: representability
zbMATH Keywords: \(\lambda \) -language over a simple type structure
zbMATH Keywords: free algebras
zbMATH Keywords: second-order types
MaRDI profile type: Publication
cites work: The lambda calculus, its syntax and semantics
cites work: Automatic synthesis of typed \(\Lambda\)-programs on term algebras
cites work: Q5565113
cites work: Q4068706
cites work: Q4035315
cites work: Definierbare Funktionen imλ-Kalkül mit Typen
cites work: Intuitionistic propositional logic is polynomial-space complete
cites work: On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems
cites work: Q3708774
cites work: Word operation definable in the typed \(\lambda\)-calculus
cites work: Q3824285
cites work: A characterization of lambda definable tree operations
cites work: Q4273488
full work available at URL: 0168-0072(91)90019-i
OpenAlex ID: W2086662978
description: scientific article; zbMATH DE number 4200169