A Simply Typed Context Calculus with First-Class Environments (2002)

by Masahiko Sato , Takafumi Sakurai , Yukiyoshi Kameyama
Citations:17 - 1 self