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 (3)
\(\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
This page was built for publication:
