Publications
A New Translation Algorithm from Lambda Calculus into Combinatory Logic
Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings | 1995 | inproceedings
Publication
Year of publication: 1995
Volume : 990
Pages : 359-370
Month :
CMUP publication : Yes