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