Function definitions in term rewriting and applicative programming

Chilukuri K. Mohan, Mandayam K. Srivas

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Fingerprint

Dive into the research topics of 'Function definitions in term rewriting and applicative programming'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science