@inproceedings{183e0560e65511deba73000ea68e967b,
title = "An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244",
author = "Mogensen, {Torben {\AE}gidius}",
year = "2001",
language = "English",
pages = "205--213",
booktitle = "publisher",
publisher = "Springer",
note = "An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244 ; Conference date: 29-11-2010",
}