Mark-Oliver Stehr. Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. Electronic Notes in Theoretical Computer Science, 159:299-323, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.