MPG.eBooks - Search Results - "Computer Programming"

Search alternatives:
computer programming » computer program , computer programs

Cover Image

1

The Semantics and Proof Theory of the Logic of Bunched Implications

by Pym, David J.
Published 2002

Springer Netherlands

Subjects: “...Compilers (Computer programs)...”