Search alternatives:
"bounded variables" » "bounded variable", "bound variables", "bind variables"
Cover Image
Read Now

1
by Bimbó, Katalin
Published 2012
CRC Press
Table of Contents: “... logic; Elimination of bound variables; Typed combinatory logic; Simply typed combinatory logic...”