FLOPS
13 years 10 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 ...
FLOPS
13 years 10 months ago
2001 Springer FLOPS
13 years 10 months ago
2001 Springer FLOPS
13 years 10 months ago
2001 Springer FLOPS
13 years 10 months ago
2001 Springer |