Deductive and Declarative Programming Book Discussion
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28)
by
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28)