๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Algebras with approximation and recursive data structures

โœ Scribed by A. A. Letichevskii

Publisher
Springer US
Year
1988
Tongue
English
Weight
645 KB
Volume
23
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Data refinement and algebraic structure
Data refinement and algebraic structure
โœ Yoshiki Kinoshita; John Power ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Springer-Verlag ๐ŸŒ English โš– 208 KB
Safe recursion with higher types and BCK
Safe recursion with higher types and BCK-algebra
โœ Martin Hofmann ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 314 KB

In previous work the author has introduced a lambda calculus SLR with modal and linear types which serves as an extension of Bellantoni-Cook's function algebra BC to higher types. It is a step towards a functional programming language in which all programs run in polynomial time. In this paper we de