scientific article; zbMATH DE number 6741749
From MaRDI portal
Publication:5275352
DOI10.4230/LIPIcs.CALCO.2015.205zbMath1366.68186MaRDI QIDQ5275352
Fer-Jan de Vries, Alberto Pardo, Daniela Petrişan, Alexander Kurz, Paula G.Severi
Publication date: 11 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)
This page was built for publication: