Types and programs from Euler diagrams
BURTON, JAMES (2008) Types and programs from Euler diagrams In: Diagrams '08: 5th international conference on diagrammatic representation and inference, Herrsching, Germany, 19-21 September, 2008.
Full text not available from this repository.
Official URL: http://link.springer.com/chapter/10.1007%2F978-3-5...
Type theory provides a formal basis for programming languages and can also be used to model reasoning systems such as Euler diagrams. We present part of a simple type theory of Euler diagrams. Expressing a system of reasoning with Euler diagrams as a collection of types and operations on types (which correspond to diagrams and reasoning rules) is a first step towards embedding visually modelled constraints directly into the type system of a programming language.
Repository Staff Only: item control page