Back to Results
First PageMeta Content
Mathematical analysis / Ergodic theory / Topology / Mathematics / Generalised Whitehead product / Homotopy theory / Table of stars with Bayer designations


A Relational Modal Logic for Higher-Order Stateful ADTs (Technical Appendix) Derek Dreyer Georg Neis
Add to Reading List

Document Date: 2009-11-03 09:13:08


Open Document

File Size: 360,58 KB

Share Result on Facebook
UPDATE