Browse by Journal

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 Sat May 11 23:59:06 2024 BST.