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

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