The Church-Rosser property and a result in combinatory logic
| Main Author: | |
|---|---|
| Published: |
University of Newcastle Upon Tyne
1964
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.389123 |
| id |
ndltd-bl.uk-oai-ethos.bl.uk-389123 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-bl.uk-oai-ethos.bl.uk-3891232015-03-19T06:27:18ZThe Church-Rosser property and a result in combinatory logicHindley, James Roger1964100University of Newcastle Upon Tynehttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.389123Electronic Thesis or Dissertation |
| collection |
NDLTD |
| sources |
NDLTD |
| topic |
100 |
| spellingShingle |
100 Hindley, James Roger The Church-Rosser property and a result in combinatory logic |
| author |
Hindley, James Roger |
| author_facet |
Hindley, James Roger |
| author_sort |
Hindley, James Roger |
| title |
The Church-Rosser property and a result in combinatory logic |
| title_short |
The Church-Rosser property and a result in combinatory logic |
| title_full |
The Church-Rosser property and a result in combinatory logic |
| title_fullStr |
The Church-Rosser property and a result in combinatory logic |
| title_full_unstemmed |
The Church-Rosser property and a result in combinatory logic |
| title_sort |
church-rosser property and a result in combinatory logic |
| publisher |
University of Newcastle Upon Tyne |
| publishDate |
1964 |
| url |
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.389123 |
| work_keys_str_mv |
AT hindleyjamesroger thechurchrosserpropertyandaresultincombinatorylogic AT hindleyjamesroger churchrosserpropertyandaresultincombinatorylogic |
| _version_ |
1716749777658445824 |