ML Anthology

Leszczylowski, Jacek

1 publications

AAAI 1980 On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF Jacek Leszczylowski