• Mechanized Reasoning

• Logical Frameworks (CMU)

• Linear Logic

• The Types Forum

• Common Framework Initiative (for Algebraic Specification)

• QED home page

• Category Theory

(more to be added!!! / Henrik)