Today I carried on talking about NBE.

# Normalization-by-evaluation continued

1

1

Today I carried on talking about NBE.

Today I talked about normalization-by-evaluation for simply typed lambda calculus. Continue reading

Happy new year! Today was the first theory lunch of 2013 and I talked about lazy, or call-by-need evaluation. Continue reading

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