scientific article; zbMATH DE number 970726

zbMath0864.68013MaRDI QIDQ5688911

Vincent Poirriez

Publication date: 23 January 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(\lambda\)-calculusMLOG

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items

MLOG