file.pdf (515.32 kB)

An effective one-step Church-Rosser strategy for combinators

Download (515.32 kB)
journal contribution
posted on 01.01.1996, 00:00 by Richard Statman
Mathematics Technical Report

History

Publisher Statement

All Rights Reserved

Date

01/01/1996

Usage metrics

Exports