The term for a paradigm of programming that originates in the Curry-Howard Isomorphism, which relates types and proofs to terms and expressions. In most cases, logical deduction or inference is equated with term evaluation or state update.

Pages in this topic: ALF   ASF+SDF   Axiom of Choice   CafeOBJ   Claire   Curry   Curry-Howard Isomorphism   Dynamo   Escher   Goedel   Lambda Prolog   LIFE   Maude   Mercury   NuPrl   Prolog   SPARCL   TyRuBa   Yarrow  

Also linked from: Actor   Alan Bundy   BOBJ   Constraints   Declarative   Fifth Generation Computer Systems   Induction and Co-induction   Janus   NCL   OBJ Family   Quotienting   Referential Transparency and State   Scheme   Unification