scientific article; zbMATH DE number 937388
From MaRDI portal
Publication:4896529
zbMath0859.03008MaRDI QIDQ4896529
Publication date: 20 October 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
polymorphismcoherence spacescategorical semanticsGirard's system \(F\)second-order typed lambda calculusproduct typesPL-categoriesPLF-categoryterminal type
This page was built for publication: