All links of Logical Frameworks

Abel, Niels Henrik

---

Niels Henrik Abel - MacTutor History of Mathematics Archive

---

Abel, Niels

---

Logical Frameworks related site:

• Bibliography on Logical Frameworks