Memoryful geometry of interaction II: recursion and adequacy

Article Details
Title:	Memoryful geometry of interaction II: recursion and adequacy
Article URLs:	https://doi.org/10.1145/2837614.2837672
Alternative Article URLs:
Authors:	Koko Muroya	University of Tokyo, Japan
	Naohiko Hoshino	Kyoto University, Japan, RIMS
	Ichiro Hasuo	University of Tokyo, Japan
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://koko-m.github.io/TtT/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/popl/MuroyaHH16
Author Comments:

ACM Principles of Programming Languages, POPL 2016