The language of Stratified Sets is confluent and strongly normalising

Research output: Contribution to journalArticlepeer-review

15 Downloads (Pure)

Fingerprint

Dive into the research topics of 'The language of Stratified Sets is confluent and strongly normalising'. Together they form a unique fingerprint.

Social Sciences

Physics

Medicine and Dentistry

Computer Science