Abstract. We define a simple non-deterministic functional language that has definite variables and where function application is unfoldable.
確定! 回上一頁