✦ LIBER ✦

Higher-order subtyping and its decidability

✍ Scribed by Adriana Compagnoni

Book ID: 113641506
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 503 KB
Volume: 191
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2004.01.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Typed operational semantics for higher-o

Typed operational semantics for higher-order subtyping

✍ Adriana Compagnoni; Healfdene Goguen 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 437 KB

On the expressiveness and decidability o

On the expressiveness and decidability of higher-order process calculi

✍ Ivan Lanese; Jorge A. Pérez; Davide Sangiorgi; Alan Schmitt 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 532 KB

On the Decidability of Subtyping with Bo

On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints

✍ Stefan Wehr; Peter Thiemann 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 518 KB

On Deciding Whether Trend Surfaces of Pr

On Deciding Whether Trend Surfaces of Progressively Higher Order Are Meaningful

✍ CHAYES, FELIX 📂 Article 📅 1970 🏛 The Geology Society of America 🌐 English ⚖ 465 KB

Hyperchaos of higher order and its circu

Hyperchaos of higher order and its circuit implementation

✍ Guosi Hu 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 204 KB

## Abstract Though numerous hyperchaotic systems are reported, few of them can generate hyperchaotic attractors with more than three positive Lyapunov exponents. A new hyperchaotic system, constructed by adding the approximate time‐delayed state feedback to Chen system, is presented in this paper.

Higher-Order Intentionality and Higher-O

Higher-Order Intentionality and Higher-Order Acquaintance

✍ Benj Hellie 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 297 KB