Derivation and computation: taking the Curry-Howard correspondence seriously … by Simmons, Harold fromCambridge tracts in theoretical computer science 0 Type: Book
Logic for concurrency and synchronisation by Queiroz, Ruy J. G. B. de fromTrends in Logic 0 Type: Book
