\(μλεδ\)-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities - Salgado, Ronie (arXiv.org)