![Programming language semantics / Programming language theory / Data types / Type theory / Operational semantics / Citizens for Tax Justice / Semantics / Process calculus / Subtype polymorphism / Theoretical computer science / Logic in computer science / Software engineering Programming language semantics / Programming language theory / Data types / Type theory / Operational semantics / Citizens for Tax Justice / Semantics / Process calculus / Subtype polymorphism / Theoretical computer science / Logic in computer science / Software engineering](https://www.pdfsearch.io/img/8bfc8b3f7ffa782e9dcc9562ca005663.jpg) Date: 2012-11-23 07:14:37Programming language semantics Programming language theory Data types Type theory Operational semantics Citizens for Tax Justice Semantics Process calculus Subtype polymorphism Theoretical computer science Logic in computer science Software engineering | | University of California Los Angeles Robust Service Composition A dissertation submitted in partial satisfactionAdd to Reading ListSource URL: www.mpi-sws.orgDownload Document from Source Website File Size: 2,71 MBShare Document on Facebook
|