scientific article; zbMATH DE number 1114328
From MaRDI portal
Publication:4376043
zbMath0887.03010MaRDI QIDQ4376043
Gilles Barthe, Morten Heine B. Sørensen
Publication date: 17 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Domain-Freeλµ-Calculus ⋮ Weak normalization implies strong normalization in a class of non-dependent pure type systems
This page was built for publication: