Fix-Point Equations for Well-Founded Recursion in Type Theory.

Antonia Balaa Yves Bertot

Published in: TPHOLs (2000)

Keyphrases

fixpoint
difference equations
deductive databases
logic programs
differential equations
complex objects
mathematical model
inference rules
stable models
datalog programs