-
1
المؤلفون: Fiore, MP, Pitts, AM, Steenkamp, SC
المساهمون: Fiore, Marcelo [0000-0001-8558-3492], Pitts, Andrew [0000-0001-7775-3471], Steenkamp, S. C. [0000-0003-3105-4098], Apollo - University of Cambridge Repository
مصطلحات موضوعية: dependent type theory, weakly initial set of covers, higher inductive types, quotient types, topos theory, well-founded relation
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::131a54b40bb68b3d67c6b17061c870d3
https://www.repository.cam.ac.uk/handle/1810/343176 -
2
المؤلفون: Fiore, MP, Saville, P
المساهمون: Miller, Dale
المصدر: Fiore, M & Saville, P 2017, List Objects with Algebraic Structure . in D Miller (ed.), 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) . vol. 84, 16, Leibniz International Proceedings in Informatics (LIPIcs), vol. 84, Dagstuhl, Germany, pp. 16:1-16:18, Second International Conference on Formal Structures for Computation and Deduction, Oxford, United Kingdom, 3/09/17 . https://doi.org/10.4230/LIPIcs.FSCD.2017.16
مصطلحات موضوعية: opetope, 000 Computer science, knowledge, general works, algebraic theory, Haskell Monad type class, Computer Science, list object, near semiring, (cartesian,linear, and second-order) algebraic theory, strong monad, free monoid
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::298ccee221cb926c10bf7b1b57f39999
https://hdl.handle.net/20.500.11820/1224d990-5879-4601-b9a5-3cbd6f885020 -
3دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
4دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
5دورية أكاديمية
المؤلفون: Fiore MP; Rosalind Franklin University of Medicine and Science, Chicago Medical School, North Chicago, Illinois., Marmer SL; Des Moines University, College of Osteopathic Medicine, Des Moines, Iowa., Steuerwald MT; University of Wisconsin School of Medicine and Public Health, Department of Emergency Medicine, Madison, Wisconsin., Thompson RJ; University of Wisconsin School of Medicine and Public Health, Department of Emergency Medicine, Madison, Wisconsin., Galgon RE; University of Wisconsin School of Medicine and Public Health, Department of Anesthesiology, Madison, Wisconsin.
المصدر: The western journal of emergency medicine [West J Emerg Med] 2019 Aug 06; Vol. 20 (5), pp. 784-790. Date of Electronic Publication: 2019 Aug 06.
نوع المنشور: Journal Article; Randomized Controlled Trial
بيانات الدورية: Publisher: Department of Emergency Medicine, University of California, Irvine Country of Publication: United States NLM ID: 101476450 Publication Model: Electronic Cited Medium: Internet ISSN: 1936-9018 (Electronic) Linking ISSN: 1936900X NLM ISO Abbreviation: West J Emerg Med Subsets: MEDLINE
مواضيع طبية MeSH: Decontamination* , Manikins*, Airway Management/*methods , Anesthesiology/*education , Education, Medical, Graduate/*methods , Emergency Medicine/*education , Vomiting/*therapy, Adult ; Female ; Humans ; Intubation, Intratracheal/methods ; Laryngoscopy/methods ; Male ; Suction/methods