scientific article
From MaRDI portal
Publication:3823157
zbMath0669.68057MaRDI QIDQ3823157
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ A general criterion for avoiding infinite unfolding during partial deduction
This page was built for publication: