This article examines an observation about “languages”: a duality between first-order and second-order expressions.| Guillaume Lethuillier's blog
The Art of Computer Programming (TAOCP)| www-cs-faculty.stanford.edu
