scientific article

zbMath0553.68014MaRDI QIDQ3216122

Peter Dybjer

Publication date: 1984

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

zbMATH Keywords

algebraic semanticsCartesian closed categorieshigher-order algebrasalgebraic interpretations of data typesDomain algebrasdomain categoriestyped lambda- calculus

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (1)

On a generalized product for domains

This page was built for publication: