• View
• Edit
• History
• Print

SemanticsOfProgrammingLanguagesInAgda

Semantics of programming languages in Agda (a la Bertot in Coq).

contact person: Ana Bove

Follow this link for information about this project.