Gèrard Huet

• Logical Frameworks