Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Let's see how things unfold.: reconciling the infinite with the intensional (extended abstract)

McBride, C. (2009) Let's see how things unfold.: reconciling the infinite with the intensional (extended abstract). In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science (5728). Springer, pp. 113-126. ISBN 978-3-642-03740-5

Full text not available in this repository. (Request a copy from the Strathclyde author)

Abstract

Coinductive types model infinite structures unfolded on demand, like politicians' excuses: for each attack, there is a defence but no likelihood of resolution. Representing such evolving processes coinductively is often more attractive than representing them as functions from a set of permitted observations, such as projections or finite approximants, as it can be tricky to ensure that observations are meaningful and consistent. As programmers and reasoners, we need coinductive definitions in our toolbox, equipped with appropriate computational and logical machinery.

Item type: Book Section
ID code: 16822
Keywords: information systems, information applications, theoretical computer science, Electronic computers. Computer science
Subjects: Science > Mathematics > Electronic computers. Computer science
Department: Faculty of Science > Computer and Information Sciences
Related URLs:
Depositing user: Strathprints Administrator
Date Deposited: 19 Oct 2010 12:01
Last modified: 17 Jul 2013 13:31
URI: http://strathprints.strath.ac.uk/id/eprint/16822

Actions (login required)

View Item