Registered user since Sun 6 Aug 2017

Name: Yohji Akama

All Activities

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