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

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library