A Logically Saturated Extension of lambda-bar-mu-mu-tilde

Proceedings of 8th International Conference, 16th Symposium, Calculemus 2009 CICM '09 on Intelligent Computer Mathematics, 6 juli 2009