Opin vísindi

Browsing by Subject "Semantics"

Browsing by Subject "Semantics"

Sort by: Order: Results:

  • Aceto, Luca; Fabregas, Ignacio; Garcia-Perez, Alvaro; Ingolfsdottir, Anna; Ortega-Mallen, Yolanda (2019-10-14)
    The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications ...
  • Guðmundsdóttir Beck, Þórhalla; Whelpton, Matthew (The Árni Magnússon Institute for Icelandic Studies, 2019-08-15)
    Brent Berlin og Paul Kay ullu straumhvörfum í merkingarlegum rannsóknum á litaheitum með útgáfu bókar sinnar Basic Color Terms árið 1969. Fram að þeim tíma hafði verið talið að hvert mál hefði sína eigin hugtakaskiptingu, og í sambandi við litaheiti ...