A list of successes that can change the World: Essays dedicated to Philip Wadler on the occasion of his 60th birthday

Sam Lindley (Editor), Conor McBride (Editor), Phil Trinder (Editor), Don Sannella (Editor)

Research output: Book/ReportBook

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'A list of successes that can change the World: Essays dedicated to Philip Wadler on the occasion of his 60th birthday'. Together they form a unique fingerprint.

Mathematics