TY - BOOK ID - 127997204 TI - Games and full abstraction for a functional metalanguage with recursive types PY - 1998 SN - 3540762558 PB - London : Springer, DB - UniCat KW - Functional programming languages. KW - Game theory. KW - Recursive functions. UR - https://www.unicat.be/uniCat?func=search&query=sysid:127997204 AB - ER -