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 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.
| Author(s): | Nordvall Forsberg, Fredrik  ORCID: https://orcid.org/0000-0001-6157-9288 and Setzer, Anton | 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: | 22 Jan 2020 04:07 |
| URI: | https://strathprints.strath.ac.uk/id/eprint/53293 |
| Export data: |
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)