6 search results - page 2 / 2 » flops 2001 |
FLOPS
2001
Springer
13 years 9 months ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...