scientific article; zbMATH DE number 1424014
From MaRDI portal
Publication:4945203
zbMath0942.03012MaRDI QIDQ4945203
Publication date: 23 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Dependently Sorted Logic ⋮ Type-based termination of generic programs ⋮ Libraries for Generic Programming in Haskell ⋮ Indexed induction-recursion
This page was built for publication: