## Constructive mathematics in topoi. to appear at IWFM98

- Arthur Hughes
- 1998

This paper describes work leading towards the concept of a Geometry of Formal Methods[Mac96],[HM97], which explores the relationship between various formal specifications and aspects of modern abstract algebraic theories with a strong geometric interpretation, in particular such concepts as fibre-bundles, sheaves and related ideas in topology and category… (More)

Sorry, we couldn't extract any figures or tables for this paper.