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/
-
-
You can also use it to generate normalisation graphs (really these are graphs of graphs!). For example, this particularly beautiful normalisation graph is generated by a linear term representing the formula "T ∧ F" (based on an encoding of boolean circuits due to Harry Mairson).pic.twitter.com/hmn0e4gjG8
Prikaži ovu nit -
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 nit
Kraj razgovora
Novi razgovor -
Č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.