Combining Higher-Order and First-Order Computation Using ρ-calculus: Towards a Semantics of ELAN (1999)

by Horatiu Cirstea , Claude Kirchner
Venue:In Frontiers of Combining Systems 2
Citations:20 - 9 self