Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
A Simply Typed Context Calculus with First-Class Environments
FLOPS, 2001.
@inproceedings{FLOPS-2001-SatoSK,
author = "Masahiko Sato and Takafumi Sakurai and Yukiyoshi Kameyama",
booktitle = "{Proceedings of the Fifth International Symposium on Functional and Logic Programming}",
doi = "10.1007/3-540-44716-4_23",
isbn = "3-540-41739-7",
pages = "359--374",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{A Simply Typed Context Calculus with First-Class Environments}",
volume = 2024,
year = 2001,
}