publication venue for
- A correctness proof for combinator reduction with cycles. 12:123-134. 1990
ACM Transactions on Programming Languages and Systems
Journal
- Overview
- Identity
- View All
Overview
has subject area
- 0803 Computer Software (FoR)
- 0806 Information Systems (FoR)
- Software Engineering (Science Metrix)