Uday Sankara Reddy

• Logic languages based on functions
• Objects as closures