Sciweavers

66
Voted
IMPERIAL
1994
15 years 26 days ago
Geometric logic as a Specification Language
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
Steven Vickers
IMPERIAL
1994
15 years 26 days ago
Locales are Not Pointless
Steven Vickers
73
Voted
IMPERIAL
1994
15 years 26 days ago
Towards a GeoZ Toolkit
The use of Geometric Logic as the foundation of a speci cation language called GeoZ is proposed elsewhere 4]. In thisnote we explore GeoZ fromthe perspective of practitioners, who...
Mark Dawson, Steven Vickers
IMPERIAL
1994
15 years 26 days ago
An Internal Language for Interaction Categories
Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan