Language in Action: Categories, Lambdas, and Dynamic Logic

Abstract
No abstract available