𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A taste of functional programming — 2

✍ Scribed by Madhavan Mukund

Book ID
107589540
Publisher
Indian Academy of Sciences
Year
2007
Tongue
English
Weight
277 KB
Volume
12
Category
Article
ISSN
0971-8044

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Functional diversity of taste cells. A r
Functional diversity of taste cells. A review.
✍ Albertino Bigiani; Simone Prandi 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB

## ABSTRACT Our ability to sense chemicals occurring in food and beverages relies on the operation of specialized epithelial cells called __taste cells__, found as clusters (taste buds) mainly in the oral cavity. Unlike other sensory cells, such as hair cells in the cochlea, taste cells differ from

Bisimilarity as a theory of functional p
Bisimilarity as a theory of functional programming
✍ Andrew D. Gordon 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 248 KB

Morris-style contextual equivalence -invariance of termination under any context of ground type -is the usual notion of operational equivalence for deterministic functional languages such as PCF. Contextual equivalence is hard to establish directly. Instead, we deÿne a labelled transition system for