The Inf function in the system F
Résumé
We give a lambda-term of type Nat, Nat->Nat in the system F that computes the minimum of 2 Church numerals in time O(inf.log(inf)). This refutes a conjecture of the "lambda folklore".
Origine : Fichiers produits par l'(les) auteur(s)
Loading...