TY - BOOK ID - 126882645 TI - Formal description of programming concepts - III : proceedings of the IFIP TC2/WG 2.2 Working conference, Ebberup, Denmark, August 1986 AU - Wirsing, Martin AU - IFIP.. TC2/WG 2.2 Working conference on formal description of programming concepts (03rd : 1986 : Ebberup) PY - 1987 SN - 0444702539 9780444702531 PB - Amsterdam: North-Holland, DB - UniCat KW - higher Order Programming KW - Formal Description KW - Logic programming KW - Functional programming KW - proof KW - Logic KW - Concurrency KW - Term Rewriting KW - Semantics UR - https://www.unicat.be/uniCat?func=search&query=sysid:126882645 AB - ER -