The simply typed rewriting calculus
β
Horatiu Cirstea; Claude Kirchner
π
Article
π
2000
π
Elsevier Science
π
English
β 202 KB