Proof Pearl: Wellfounded Induction on the Ordinals Up to epsilon 0

TPHOLs, pp. 294-301, 2007.

Cited by: 1|Bibtex|Views0|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments