Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- An operational approach to combining classical set theory and functional programming languages -- ML typing...”