TY - BOOK DA - 2012 LA - eng PY - 2012 TI - Dynamic semantics as monadic computation UR - https://nbn-resolving.org/urn:nbn:de:0070-pub-24850538 Y2 - 2024-11-22T12:32:42 ER -