Item request has been placed!
×
Item request cannot be made.
×
Processing Request
Item request has been placed!
×
Item request cannot be made.
×
Processing Request
Subjects: Coq; denotational semantics; Iris
-
Source:
Frumin , D , Timany , A & Birkedal , L 2024 , ' Modular Denotational Semantics for Effects with Guarded Interaction Trees ' , Proceedings of the ACM on Programming
-
تفاصيل العنوان
Subjects: Formal semantics; Distributional semantics; Compositionality
-
Source:
Venhuizen , N , Hendriks , P , Crocker , M & Brouwer , H 2022 , ' Distributional formal semantics ' , Information and Computation , vol. 287 , 104763 .
-
تفاصيل العنوان
Subjects: Incels; Typical frames
-
Source:
Gemelli , S & Minnema , G 2024 , Manosphrames : exploring an Italian incel community through the lens of NLP and Frame Semantics . in P Sommerauer , T Caselli , M Nissim
-
تفاصيل العنوان
Subjects: frame semantics; perspectives; computational linguistics
-
Source:
Minnema , G , Gemelli , S , Zanchi , C , Patti , V , Caselli , T & Nissim , M 2021 , Frame Semantics for Social NLP in Italian : Analyzing Responsibility Framing in
-
تفاصيل العنوان
-
Source:
Heredia Murillo , E 2023 , ' The semantics and L1 acquisition of scalar (focus) particles: the case of Spanish (ni) siquiera and incluso ' , Doctor of Philosophy ,
-
تفاصيل العنوان
-
Source:
Travagnin , S 2023 , The (new) Buddhist Semantics of xin 信 in the First Half of the Twentieth-century : Arguments from China and Taiwan . in C Meyer & P Clart (eds) ,
-
تفاصيل العنوان
-
Source:
Keshavarzi Zafarghandi , A 2022 , ' Abstract Dialectical Frameworks : Semantics, Discussion Games, and Variations ' , Doctor of Philosophy , University of Groningen ,
-
تفاصيل العنوان
-
Source:
Ramírez Restrepo , C A , Jaramillo , J C & Pérez , J A 2023 , ' Session-based concurrency in Maude : Executable semantics and type checking ' , The Journal of Logical
-
تفاصيل العنوان