Types and programs from Euler diagrams

Research output: Contribution to conferenceAbstract

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 languageEnglish
Pages357-359
Number of pages3
DOIs
Publication statusPublished - 1 Jan 2008
EventDiagrams '08: 5th international conference on diagrammatic representation and inference - Herrsching, Germany, 19-21 September, 2008
Duration: 1 Jan 2008 → …

Conference

ConferenceDiagrams '08: 5th international conference on diagrammatic representation and inference
Period1/01/08 → …

Fingerprint Dive into the research topics of 'Types and programs from Euler diagrams'. Together they form a unique fingerprint.

Cite this