Invertible terms in the lambda calculus
type: Item
instance of: scholarly article
title: Invertible terms in the lambda calculus
zbMATH Open document ID: 0446.03011
DOI: 10.1016/0304-3975(80)90032-8
published in: Theoretical Computer Science
publication date: 1980-01-01T00:00:00Z
full work available at URL: https://dspace.library.uu.nl/handle/1874/12751
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 3697080
zbMATH Keywords: invertible terms
zbMATH Keywords: lambda calculus
zbMATH Keywords: hereditary permutators
author: J. A. Bergstra
author: Jan Willem Klop
MaRDI profile type: Publication
OpenAlex ID: W2090560742
cites work: The lambda calculus, its syntax and semantics
cites work: Q4068081
cites work: Q5565113
cites work: Q5686017
cites work: Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
cites work: A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
cites work: Q4124819
cites work: Data Types as Lattices
description: scientific article; zbMATH DE number 3697080