scientific article
From MaRDI portal
Publication:3024854
zbMath1063.03525MaRDI QIDQ3024854
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Third-order matching in the polymorphic lambda calculus ⋮ Higher-order matching for program transformation
Uses Software
This page was built for publication:
