Pattern calculus computing with functions and structures /
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
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
