Pattern calculus computing with functions and structures - Jay, Barry; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009)
Keywords: Data structures (Computer science); Functional programming (Computer science); Lambda calculus; Programming Techniques; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters