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

First Page		Document Content
Date: 2009-11-03 09:13:08 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 Source URL: people.mpi-sws.org Download Document from Source Website File Size: 360,58 KB Share Document on Facebook