Kripke semantics for full ground references (work in progress)

Research output: Contribution to conference (unpublished)Abstractpeer-review

39 Downloads (Pure)
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
Country/TerritoryUnited States
CityNew York
Period10/07/1610/07/16

Cite this