The clausal theory of types by Wolfram, D. A. fromCambridge tracts in theoretical computer science 0 Type: Book
The Clausal theory of types by Wolfram, D. A. fromCambridge tracts in theoretical computer science 0 Type: Book
Action semantics by Mosses, Peter D. fromCambridge tracts in theoretical computer science 0 Type: Book
