pi-calculus in (Co)inductive-type theory.

Furio Honsell Marino Miculan Ivan Scagnetto

Published in: Theor. Comput. Sci. (2001)

Keyphrases

computer algebra
inductive learning
theoretical framework
type checking
machine learning
algebraic structure
information theory
knowledge representation
computational model
theoretical basis
general theory
formal theory
deductive reasoning
database
power system
expert systems
data mining