Types and programs from Euler diagrams

James Burton

doi:10.1007/978-3-540-87730-1_35

Abstract

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.

Original language	English
Pages	357-359
Number of pages	3
DOIs	https://doi.org/10.1007/978-3-540-87730-1_35
Publication status	Published - 1 Jan 2008
Event	Diagrams '08: 5th international conference on diagrammatic representation and inference - Herrsching, Germany, 19-21 September, 2008 Duration: 1 Jan 2008 → …

Conference

Conference	Diagrams '08: 5th international conference on diagrammatic representation and inference
Period	1/01/08 → …

Access to Document

10.1007/978-3-540-87730-1_35Licence: Unspecified

http://link.springer.com/chapter/10.1007%2F978-3-540-87730-1_35Licence: Unspecified

Cite this

@conference{d164a3e08ffd4e14b8f1da4ace5259b9,

title = "Types and programs from Euler diagrams",

abstract = "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.",

author = "James Burton",

year = "2008",

month = jan,

day = "1",

doi = "10.1007/978-3-540-87730-1_35",

language = "English",

pages = "357--359",

note = "Diagrams '08: 5th international conference on diagrammatic representation and inference ; Conference date: 01-01-2008",

}

TY - CONF

T1 - Types and programs from Euler diagrams

AU - Burton, James

PY - 2008/1/1

Y1 - 2008/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-87730-1_35

DO - 10.1007/978-3-540-87730-1_35

M3 - Abstract

SP - 357

EP - 359

T2 - Diagrams '08: 5th international conference on diagrammatic representation and inference

Y2 - 1 January 2008

ER -

Types and programs from Euler diagrams

Abstract

Conference

Access to Document

Fingerprint

Cite this