David J. Pym
Share
Bibliography
Order
Edition Date
Ranking
-
Semantics And Proof Theory Of The Logic Of Bunched ImplicationseBookSPRINGER NETHERLANDS04-20130,00€