scientific article; zbMATH DE number 7075936
From MaRDI portal
Publication:4967236
zbMath1409.01031MaRDI QIDQ4967236
Gérard Huet, Pierre-Louis Curien, Antoine Petit
Publication date: 3 July 2019
Full work available at URL: http://bulletin.eatcs.org/index.php/beatcs/article/view/511/501
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
This page was built for publication:
