Items where Author, Editor or other role is "Moon, Benjamin"

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: M

Number of items: 1.

M

Moon, Benjamin, Eades, Harley, Orchard, Dominic (2021) Graded Modal Dependent Type Theory. Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, . (doi:10.1007/978-3-030-72019-3_17) (KAR id:91712)

This list was generated on Mon Apr 15 20:03:16 2024 BST.