Kripke semantics for full ground references (work in progress)

Research output: Contribution to conference (unpublished)Abstract

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Number of pages2
Publication statusPublished - 10 Jul 2016
EventLOLA 2016 - Syntax and Semantics of Low-Level Languages - New York, United States
Duration: 10 Jul 201610 Jul 2016

Workshop

WorkshopLOLA 2016 - Syntax and Semantics of Low-Level Languages
CountryUnited States
CityNew York
Period10/07/1610/07/16