Logical Frameworks by Gérard Huet

download center

Logical Frameworks

Gérard Huet - Logical Frameworks
Enter the sum