Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
Primary LanguageCoqMIT LicenseMIT