Rewriting calculus with fixpoints: Untyped and first-order systems (2003)

Cached

Download Links

by Horatiu Cirstea , Luigi Liquori , Benjamin Wack , Nancy Ii , Nancy I
Venue:In Post-proceedings of TYPES, Lecture Notes in Computer Science
Citations:26 - 10 self