Tìm kiếm nâng cao
Hướng dẫn sử dụng
Loại tài liệu: Tài liệu số - Artical
Thông tin trách nhiệm: Voorneveld, Niels
Nhà Xuất Bản: Elsevier
Năm Xuất Bản: 2020
Tải ứng dụng tại các liên kết sau để xem đầy đủ tài liệu.
Algebras can be used to interpret the behaviour of effectful programs. In particular, we use Eilenberg-Moore algebras given over a complete lattices of truth values, which specify answers to queries about programs. The algebras can be used to formulate a quantitative logic of behavioural properties, specifying a congruent notion of program equivalence coinciding with a notion of applicative bisimilarity. Many combinations of effects can be interpreted using these algebras. In this paper, we specify a method of generically combining effects and the algebras used to interpret them. At the core of this method is the tensor of complete lattices, which combines the carrier sets of the algebras. We show that this tensor preserves complete distributivity of complete lattices. Moreover, the universal properties of this tensor can then be used to properly combine the Eilenberg-Moore algebras. We will apply this method to combine the effects of probability, global store, cost, nondeterminism, and error effects. We will then compare this method of combining effects with the more traditional method of combining equational theories using interaction laws.
(Sử dụng ứng dụng VNU- LIC quét QRCode này để mượn tài liệu)
(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "VNU LIC”)
Adsorption and Fenton-like removal of chelated nickel from Zn-Ni alloy electroplating wastewater using activated biochar composite derived from Taihu blue algae
Analysing Discourse: Textual analysis for social research
Cây thuốc và động vật làm thuốc ở Việt Nam. Tập 1
Data flow analysis : theory and practice
Dược lý học: sách đào tạo dược sĩ đại học. Tập 1
Language test construction and evaluation
Mở đầu về lí thuyết xác suất và các ứng dụng (Tái bản lần thứ tám)
The Geography of Urban Transportation
The Life and Times of Samuel Prideaux Tregelles : A Forgotten Scholar
Understanding the Course of Social Reality (1st ed. 2016)