scientific article
From MaRDI portal
Publication:4016562
zbMath0755.68082MaRDI QIDQ4016562
Publication date: 16 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
External and internal syntax of the \(\lambda \)-calculus ⋮ Viewing \({\lambda}\)-terms through maps
This page was built for publication:
