1 search results - page 1 / 1 » A faithful encoding of programmable strategies into term rew... |
IFIP
2004
Springer
13 years 9 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...