Reduction semantics and λ̄μμ̃-calculus

As Pierre-Louis Curien was visiting, Keiko Nakata took the opportunity to tell us about reduction semantics and λ̄μμ̃-calculus. Continue reading

Advertisements