Mirasyedioğlu, Şeref; Güyer, Tolga A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG. (English) Zbl 1095.68751 Appl. Math. Comput. 176, No. 1, 65-75 (2006). MSC: 68W30 03B40 68N17 68Q05 68Q42 PDFBibTeX XMLCite \textit{Ş. Mirasyedioğlu} and \textit{T. Güyer}, Appl. Math. Comput. 176, No. 1, 65--75 (2006; Zbl 1095.68751) Full Text: DOI Link
Adams, Robin Pure type systems with judgemental equality. (English) Zbl 1088.68030 J. Funct. Program. 16, No. 2, 219-246 (2006). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{R. Adams}, J. Funct. Program. 16, No. 2, 219--246 (2006; Zbl 1088.68030) Full Text: DOI