Lambda Logic. Beeson, M. In Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, volume 3097, of Lecture Notes in Artificial Intelligence, pages 460-474, 2004. The second link is to the published version; the first link is to a revised and corrected version.
Lambda Logic [pdf]Pdf  Lambda Logic [pdf]Pdf2  bibtex   2 downloads  

Downloads: 2