CTO CLiki for the TUNES project

Home About CLiki Text Formatting

Arrow Logic 101

A Learning Lounge course, partly about the Arrow system and partly relating to Monads.

Yde Venema's A Crash Course in Arrow Logic (1997) is by now the only online available paper on arrow logic.

Also refer to the offline book Modal Logic (Venema et al.), a great book on modal logic. Once it was downloadable, but no longer.

---

This page is linked from: Learning Lounge   TUNES vs the WWW