scientific article; zbMATH DE number 1497806
From MaRDI portal
Publication:4499224
zbMath0967.68038MaRDI QIDQ4499224
Gianna Bellè, Eugenio Moggi, C. Barry Jay
Publication date: 4 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
A representation theorem for second-order functionals ⋮ Fusion of recursive programs with computational effects ⋮ Constructive Membership Predicates as Index Types
This page was built for publication:
