scientific article
From MaRDI portal
Publication:3827997
zbMath0674.03014MaRDI QIDQ3827997
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
The Girard-Reynolds isomorphism (second edition) ⋮ Types, abstraction, and parametric polymorphism, part 2 ⋮ Polynat in PER models
This page was built for publication: