conf.researchr.org / Yohji Akama

Registered user since Sun 6 Aug 2017

Name: Yohji Akama

Contributions

FSCD 2017Author of The confluent terminating context-free substitutive rewriting system for the λ-calculus with surjective pairing and terminal type within the FSCD 2017-track