The discriminating power of multiplicities in the \(\lambda\)-calculus
type: Item
instance of: scholarly article
title: The discriminating power of multiplicities in the \(\lambda\)-calculus
zbMATH Open document ID: 0853.68128
author: Cosimo Laneve
author: Gérard Boudol
published in: Information and Computation
publication date: 1996-12-12T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 896651
zbMATH Keywords: \(\lambda\)-calculus
MaRDI profile type: Publication
full work available at URL: inco.1996.0037
OpenAlex ID: W2031709122
DOI: 10.1006/INCO.1996.0037
description: scientific article; zbMATH DE number 896651