David Pitt;Samson Abramsky;Axel Poigné;David Rydeheard
-;-;-;-
A new framework for declarative programming
Theoretical Computer Science