Open Access research with a European policy impact...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of Open Access research papers by Strathclyde researchers, including by researchers from the European Policies Research Centre (EPRC).

EPRC is a leading institute in Europe for comparative research on public policy, with a particular focus on regional development policies. Spanning 30 European countries, EPRC research programmes have a strong emphasis on applied research and knowledge exchange, including the provision of policy advice to EU institutions and national and sub-national government authorities throughout Europe.

Explore research outputs by the European Policies Research Centre...

Strathprints

A finite axiomatisation of inductive-inductive definitions

Nordvall Forsberg, Fredrik and Setzer, Anton (2012) A finite axiomatisation of inductive-inductive definitions. In: Logic, Construction, Computation. Ontos mathematical logic, 3 . De Gruyter, 259 - 287. ISBN 9783110324921

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

Official URL: http://dx.doi.org/10.1515/9783110324921.259

Abstract

Induction-induction is a priciple for mutually defining data types A : Set and B : A Set. Both A and B are defined inductively, and the constructors for A can refer to B and vice versa.

Item type:	Book Section
ID code:	53293
Keywords:	inductive-inductive definitions, programming, mathematical logic, Mathematics, Mathematics(all)
Subjects:	Science > Mathematics
Department:	Faculty of Science > Computer and Information Sciences
Depositing user:	Pure Administrator
Date deposited:	05 Jun 2015 10:26
Last modified:	23 Jul 2017 00:16
URI:	https://strathprints.strath.ac.uk/id/eprint/53293
Export data:

CORE (COnnecting REpositories)