Difference from inductive inference (1)

lThe LCM-semantics of **$****y.A(x,f,y) **is different from the standard definition of inductive inference (from a paper by Case and Suraj )

lInductive inference

lFunctions
representable finitely, e.g., computable functions, are
infered from their finite segments.