✦ LIBER ✦

A consistent extension of the lambda-calculus as a base for functional programming languages

✍ Scribed by Klaus J. Berkling; Elfriede Fehr

Book ID: 114037617
Publisher: Elsevier Science
Year: 1982
Weight: 504 KB
Volume: 55
Category: Article
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(82)90458-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Finite Equational Axiomatization of th

A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus

✍ Antonino Salibra; Robert Goldblatt 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 371 KB

The development of language as a functio

The development of language as a function of programmed conditioning

✍ B.B. Gray; L. Fygetakis 📂 Article 📅 1968 🏛 Elsevier Science 🌐 English ⚖ 397 KB

The Use of Base Rate Information as a Fu

The Use of Base Rate Information as a Function of Experienced Consistency

✍ Philip T. Dunwoody; Adam S. Goodie; Robert P. Mahan 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 523 KB

A consistent modification of a test for

A consistent modification of a test for independence based on the empirical characteristic function

✍ A. Kankainen; N. G. Ushakov 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 385 KB

DTL: A language for the design and imple

DTL: A language for the design and implementation of concurrent programs as structured networks

✍ J. W. Hughes; M. S. Powell 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 722 KB

A Dual Language Approach Extension to UM

A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems

✍ Luigi Lavazza; Sandro Morasca; Angelo Morzenti 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 201 KB

A "dual language" component-based approach to the development of real-time critical applications is proposed. UML provides the constructs for modeling the structure of the system and the behavior of the system's components. A new descriptive language based on temporal logic, called OTL (Object Tempo