Work

Instance-Level Modeling and Simulation Using Lambda-Calculus and Object-Oriented Environments