scientific article; zbMATH DE number 956833
From MaRDI portal
Publication:5687240
zbMath0864.03010MaRDI QIDQ5687240
Publication date: 11 December 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decidabilitystrong normalizationrecursive typessubject reductionlambda-termsprincipal typingsimple type hierarchy
This page was built for publication: