Q4876428
type: Item
instance of: scholarly article
zbMATH Open document ID: 0864.68062
author: Luis Mandel
publication date: 1996-05-05T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68-02
zbMATH DE Number: 873325
zbMATH Keywords: constrained lambda calculus
zbMATH Keywords: functional programming
MaRDI profile type: MaRDI publication profile
Recommended article: Q4385454
Recommended article: Q3714051
Recommended article: Q4737136
Recommended article: The constraint language for lambda structures
Recommended article: Q4536107
Recommended article: The Intensional Lambda Calculus
Recommended article: A calculus of lambda calculus contexts
Recommended article: Infinitary lambda calculus
Recommended article: The \(\lambda\)-context calculus
Recommended article: Q3024899
description: scientific article; zbMATH DE number 873325