Michikazu Hirata

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 11

Top Topics

Inference Rules

Lambda Calculus

Programs Written

Top Venues

Arch. Formal Proofs

Sci. Comput. Program.

Publications