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.


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.

Item Type: Contribution to conference proceedings in the public domain (Extended Abstract)
Subjects: G000 Computing and Mathematical Sciences > G100 Mathematics
DOI (a stable link to the resource): 10.1007/978-3-540-87730-1_35
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Related URLs:
Depositing User: Converis
Date Deposited: 09 Feb 2012 11:56
Last Modified: 26 Feb 2015 16:34
URI: http://eprints.brighton.ac.uk/id/eprint/9859

Actions (login required)

View Item View Item


Downloads per month over past year