A deep quantitative type system

Giulio Guerrieri, Willem Heijltjes, Joseph Paulus

Research output: Chapter in Book/Report/Conference proceedingChapter in a published conference proceeding

1 Citation (SciVal)
51 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A deep quantitative type system'. Together they form a unique fingerprint.

Mathematics