Parigot's Second Order lambda-mu-Calculus and Inductive Types.

Published in: TLCA (2001)

Keyphrases

inductive learning
real world
real time
databases
neural network
machine learning
e learning
data structure
knowledge representation
higher order
expressive power
high order
inductive reasoning