The Church-Rosser property and a result in combinatory logic

The Church-Rosser property and a result in combinatory logic

Bibliographic Details
Main Author: Hindley, James Roger
Published: University of Newcastle Upon Tyne 1964
Subjects:
100
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.389123

Internet

http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.389123

Similar Items