scientific article; zbMATH DE number 2182485

zbMath1102.68020MaRDI QIDQ4681360

No author found.

Publication date: 23 June 2005

Full work available at URL: http://iospress.metapress.com/link.asp?id=jj599ww44r90maa0

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

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (7)

Polynomial Functors Constrained by Regular Expressions ⋮ Programming language semantics: It’s easy as 1,2,3 ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ The essence of ornaments ⋮ Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory ⋮ Continuous Functions on Final Coalgebras ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

This page was built for publication: