Politeness for the Theory of Algebraic Datatypes

Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Fingerprint

Dive into the research topics of 'Politeness for the Theory of Algebraic Datatypes'. Together they form a unique fingerprint.

Mathematics