nLab
coinductive definition

Revised on September 20, 2012 18:10:11 by Urs Schreiber (131.174.190.192)