First page Back Continue Last page Overview Graphics
Bibliography
- Handbook of Logic and Language (vanBenthem, terMeulen eds.)
- "Categorial Type Logics" (Moortgat)
- "Compositionality" (Janssen)
- The Expression Layer (Strotmann; slides, Bath OM Workshop)
- A Small OpenMath Type System (Davenport)
- A Type System for OpenMath (Caprotti, Cohen)
Notes: