Spatial Descriptions in Type Theory with Records

Simon Dobnik | Robin Cooper |

Paper Details:

Month: March
Year: 2013
Location: Potsdam, Germany
Venue: CoSLI | WS |
SIG: SIGSEM