id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
cbi-49	Prok, Gary	The Possibility of Spontaneous Generation of Self-Replicating Systems	2019	3	.pdf	application/pdf	1938	141	66	Lambda calculus can be efficiently encoded in binary; bi- nary lambda calculus (BLC) is an efficient way to encode expressions in lambda calculus into binary (Tromp, 2007). Appending other features on to this analysis will require more bits.	cache/cbi-49.pdf	txt/cbi-49.txt