Behavioral Compatibility of Self-Typed Theories.

Suad Alagic Svetlana Kouznetsova

Published in: ECOOP (2002)

Keyphrases

higher order
theoretical framework
human behavior
formal models
behavioral patterns
behavioral model
lambda calculus
databases
video sequences
mobile robot
knowledge representation