Logical hygiene, foundations, and abstractions: Diversity among aspects and options

Ellad B. Tadmor, Ryan S. Elliott, Ronald E. Miller

Research output: Chapter in Book/Report/Conference proceedingChapter

Fingerprint

Dive into the research topics of 'Logical hygiene, foundations, and abstractions: Diversity among aspects and options'. Together they form a unique fingerprint.

Mathematics