Yuya Okuyama

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Term Rewriting Systems

Functional Programs

Logic Programming

Top Venues

Publications

Yuya Okuyama, Takeshi Tsukada, Naoki Kobayashi
A Temporal Logic for Higher-Order Functional Programs. SAS (2019)