Programming Languages
This research investigates the relation between environments and contexts in programming language using simply-typed lambda calculi.
Selected publication(s)
Refereed Paper(s) (In Japanese)
- An Interpretation of a Context Calculus in an Environment Calculus
- Transactions of Information Processing Society of Japan: Programming
- Vol. 41, No. SIG 9(PRO 8), pp. 1-17(2000)
Last modified: Wed Oct 16 16:09:31 JST 2002