scientific article; zbMATH DE number 1354150
From MaRDI portal
Publication:4268465
zbMath0925.03090MaRDI QIDQ4268465
Hassan Aït-Kaci, Jacques Garrigue
Publication date: 31 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
\(\lambda_{\beta'}\) -- a \(\lambda\)-calculus with a generalized \(\beta\)-reduction rule, Label-selective \(\lambda\)-calculus syntax and confluence, MBase: Representing knowledge and context for the integration of mathematical software systems