Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms (2005)

by Thomas Ehrhard , Laurent Regnier
Citations:17 - 5 self