As Pierre-Louis Curien was visiting, Keiko Nakata took the opportunity to tell us about reduction semantics and λ̄μμ̃-calculus. Continue reading
Reduction semantics and λ̄μμ̃-calculus
Reply
-
Follow
Following
Already have a WordPress.com account? Log in now.
Theory Lunch 