A finite axiomatisation of inductive-inductive definitions
Nordvall Forsberg, Fredrik and Setzer, Anton; Berger, Ulrich and Hannes, Diener and Schuster, Peter and Seisenberger, Monika, eds. (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 authorOfficial URL: https://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.
Creators(s): |
Nordvall Forsberg, Fredrik ![]() | 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: | 16 Dec 2020 04:06 |
URI: | https://strathprints.strath.ac.uk/id/eprint/53293 |
Export data: |
CORE (COnnecting REpositories)