scientific article; zbMATH DE number 1086659
From MaRDI portal
Publication:4362909
zbMath0882.03010MaRDI QIDQ4362909
Gilles Barthe, Paul-André Melliès
Publication date: 13 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
confluencestrong normalizationtyped \(\lambda\)-calculialgebraic type systemslabelled syntaxSubject Reductiontyped rewriting systems
Uses Software
This page was built for publication:
