Combining higher-order and first-order computation using ρ-calculus: Towards a semantics of ELAN (1999)

by H Cirstea, C Kirchner
Venue:Frontiers of Combining Systems 2, Research Studies, ISBN 0863802524