Hướng dẫn sử dụng

Criteria for Bracket Abstractions Design

Loại tài liệu: Tài liệu số - Artical

Thông tin trách nhiệm: Flaviani, Federico; Bitar, Elias Tahhan

Nhà Xuất Bản: Elsevier

Năm Xuất Bản: 2020

Chia sẻ

Tải ứng dụng tại các liên kết sau để xem đầy đủ tài liệu.

Tóm tắt

A bracket abstraction is a syntactic operator to abstract variables in combinatory logic. There are different algorithms for different combinator systems. In this paper we present a recursive algorithm scheme, which generates a family of brackets abstractions, in which all the bracket abstractions referenced here are found. In addition, theorems with certain hypotheses are enunciated about the scheme, which state that the resulting abstraction operators, has one property or another. Thus forming a criteria for designing bracket abstractions that comply with a given property.

Ngôn ngữ:en
Thông tin trách nhiệm:Flaviani, Federico; Bitar, Elias Tahhan
Thông tin nhan đề:Criteria for Bracket Abstractions Design
Nhà Xuất Bản:Elsevier
Loại hình:Artical
Bản quyền:© 2020 The Author(s). Published by Elsevier B.V.
Mô tả vật lý:24 p.
Năm Xuất Bản:2020

(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”)

  • Chủ đề
TÀI NGUYÊN KHÁC