Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.
Primary LanguageCoqMIT LicenseMIT