✦ LIBER ✦

First–order Semantics for Higher–order Processes

✍ Scribed by Michael Baldamus

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 210 KB
Volume: 41
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80873-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Probabilistic Semantics for First-Order

Probabilistic Semantics for First-Order Logic

✍ Hugues Leblanc 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 925 KB

A Categorical Semantics of Higher Order

A Categorical Semantics of Higher Order Store

✍ J. Laird 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 248 KB

Linear Types for Higher Order Processes

Linear Types for Higher Order Processes with First Class Directed Channels

✍ Georg Schied; Klaus Barthelmann 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 429 KB

Formulation of higher-order iteration pr

Formulation of higher-order iteration processes

✍ T.I. Kogan 📂 Article 📅 1967 🏛 Elsevier Science ⚖ 110 KB

Higher-order accurate least-squares meth

Higher-order accurate least-squares methods for first-order initial value problems

✍ T. C. Fung 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 175 KB 👁 1 views

In this paper, various least-squares procedures to solve first-order initial value problems are studied. The accuracy and stability properties are investigated by applying the methods to a linear first-order ordinary differential equation. In relating the least-squares procedures to the weighted res

First order autoregressive markov proces

First order autoregressive markov processes

✍ C.D. Lai 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 725 KB