हास्केल करी गणित के "औपचारिक प्रणालि के विज्ञान" के रूप में परिभाषित कलको।