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