Jay, Barry.

Pattern calculus computing with functions and structures / [electronic resource] : by Barry Jay. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009. - xvii, 213 pages : illustrations, digital.

9783540891857


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.

005.73