Want to build a more visual connection with the λ-calculus? Check out the λ-term visualiser and λ-term gallery by George Kaye (@thegeorgejkaye)! https://www.georgejkaye.com/fyp/
-
-
Finally, I definitely recommend spending a lazy afternoon strolling around the gallery! Here we've used it to display all linear λ-terms of size 8 with no beta-redices and with 2 crossings in their diagram. https://www.georgejkaye.com/fyp/gallery.html …pic.twitter.com/skP1AM3Fd2
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.