Publication:4268465
From MaRDI portal
zbMath0925.03090MaRDI QIDQ4268465
Hassan Aït-Kaci, Jacques Garrigue
Publication date: 31 October 1999
03B40: Combinatory logic and lambda calculus
Related Items
MBase: Representing knowledge and context for the integration of mathematical software systems, \(\lambda_{\beta'}\) -- a \(\lambda\)-calculus with a generalized \(\beta\)-reduction rule, Label-selective \(\lambda\)-calculus syntax and confluence