scientific article
From MaRDI portal
Publication:2722050
zbMath0966.68089MaRDI QIDQ2722050
Chris Hankin, David Clark, Sebastian Hunt
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Derivation and inference of higher-order strictness types ⋮ Deciding inclusion of set constants over infinite non-strict data structures
This page was built for publication:
