Type Theory And Functional Behavior