Abstract
Dialogue games were introduced by Mellies as an attempt to unify two historical paradigms of game semantics: concrete data structures and arena games.......
小提示:本篇文献需要登录阅读全文,点击跳转登录