** Infinite Objects and Proofs
Part of the Texts in Theoretical Computer Science An EATCS Series book series (TTCS)
Reasoning about infinite objects while staying in the finite world of a computer is one of the most fascinating uses of proof tools.
KeywordsRecursive Call Inductive Type Recursive Definition Implicit Argument Guard Condition
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 2004