Copyright © 2002 Cycorp
•The Basics
•Arity
•Argument Types
•Second-Order Predicates
•More on Functions
Predicates and Denotational Functions
This is a talk about predicates and denotational functions.  You’ve probably heard a little bit about these in other talks before, but we’ll go into a little more detail than you might have heard before.  The talk will be divided into five sections.  We’ll start with The Basics.