Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
type: Item
instance of: scholarly article
title: Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
zbMATH Open document ID: 0368.02028
DOI: 10.1016/0304-3975(76)90085-2
published in: Theoretical Computer Science
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 3573836
author: Mariangiola Dezani-Ciancaglini
MaRDI profile type: Publication
full work available at URL: 0304-3975(76)90085-2
OpenAlex ID: W2053672707
cites work: Q4068081
cites work: Q5565113
description: scientific article; zbMATH DE number 3573836