/pca-realizability

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

Primary LanguageCoqMIT LicenseMIT