✦ LIBER ✦

Total objects in inductively defined types

✍ Scribed by Lill Kristiansen; Dag Normann

Publisher: Springer
Year: 1997
Tongue: English
Weight: 254 KB
Volume: 36
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s001530050073

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inductively defined functions in functio

Inductively defined functions in functional programming languages

✍ R.M. Burstall 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 646 KB

Inductive definability in formal languag

Inductive definability in formal language theory

✍ P.F. Schuler 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 690 KB

Defining success in fisheries and confli

Defining success in fisheries and conflicts in objectives

✍ Ray Hilborn 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 155 KB

Representing inductively defined sets by

Representing inductively defined sets by wellorderings in Martin-Löf's type theory

✍ Peter Dybjer 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 347 KB

We prove that every strictly positive endofimctor on the category of sets generated by Martin-Liif's extensional type theory has an initial algebra. This representation of inductively defined sets uses essentially the wellorderings introduced by Martin-Liif in "Constructive Mathematics and Computer

On defining objects by recursion in a to

On defining objects by recursion in a topos

✍ Robert Rosebrugh 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 598 KB

Defining fuzzy relationships in object m

Defining fuzzy relationships in object models: abstraction and interpretation

✍ Valerie V. Cross 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 288 KB

Many researchers have developed proposals for integrating fuzzy set theory into the knowledge representation methods used in conceptual data modeling. A primary objective of data modeling is to describe concepts and the relationships among the concepts. The basic relationships deÿned among the conce