Hi Anonymous.

No, there is no current proposal in front of the MPI Forum for a lambda-calculus-based type of model. Do you have some ideas that could turned into a proposal to be presented?