Abstract. Time-progressing expressions, i.e., expressions that compute to different values over time such as Brouwerian choice sequences or ...
確定！ 回上一頁
