scientific article; zbMATH DE number 515740

zbMath0835.68013MaRDI QIDQ4283243

Ian A. Mason, Furio Honsell, Scott F. Smith, Carolyn L. Talcott

Publication date: 16 April 1996

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

zbMATH Keywords

functional languages

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

A first order logic of effects

This page was built for publication: