Canterbury: University of Kent; 2014. p. 294. Google Scholar Department of Health. Reference costs 2013–14 [Internet]. 2014 p. 58. Available from: https://www.gov.uk/government/publications/nhs-reference-costs-2013-to-2014 Spring B, Schneider K, McFadden HG, Vaughn J, Kozak AT, ...
ALT-Jdoi:10.1080/0968776950030116HypertextHypertextSupportHypertextUnitUniversityHypertextofHypertextKentHypertextCanterburyHypertextKahn, H. (1995), 'Effective CAL: theory and practice', Association for Learning Technology Journal, 3 (1), 98-102.
Graded Modal Dependent Type Theory Benjamin Moon1( ) , Harley Eades III2 , and Dominic Orchard1 1 University of Kent, Canterbury, UK {bgm4,d.a.orchard}@kent.ac.uk 2 Augusta University, Augusta, USA harley.eades@gmail.com Abstract. Graded type theories are an emerging paradigm for aug-...