Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
News

Semi-automatic ladderisation:improving code security through rewriting and dependent types

Subjects: Security; Dependent types; Idris

  • Source: Brown , C , Barwell , A D , Marquer , Y , Zendra , O , Richmond , T & Gu , C 2022 , Semi-automatic ladderisation : improving code security through rewriting and dependent types . in Z M Ariola & Y

تفاصيل العنوان

×
News

Hyperintensionality

Subjects: Modal logic; Epistemic logic; Semantics

  • Source: Berto , F & Nolan , D 2021 , Hyperintensionality . in E N Zalta (ed.) , The Stanford encyclopedia of philosophy . Stanford University Press . < https://plato.stanford.edu/entries/hyperintensionality/

تفاصيل العنوان

×
  • 1-10 ل  97 نتائج ل ""semantics""