The primitive proof theory of the λ-calculus
| Main Author: | |
|---|---|
| Published: |
Heriot-Watt University
2003
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.398486 |
| id |
ndltd-bl.uk-oai-ethos.bl.uk-398486 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-bl.uk-oai-ethos.bl.uk-3984862015-03-19T04:09:00ZThe primitive proof theory of the λ-calculusVestergaard, René2003511.35Heriot-Watt Universityhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.398486http://hdl.handle.net/10399/415Electronic Thesis or Dissertation |
| collection |
NDLTD |
| sources |
NDLTD |
| topic |
511.35 |
| spellingShingle |
511.35 Vestergaard, René The primitive proof theory of the λ-calculus |
| author |
Vestergaard, René |
| author_facet |
Vestergaard, René |
| author_sort |
Vestergaard, René |
| title |
The primitive proof theory of the λ-calculus |
| title_short |
The primitive proof theory of the λ-calculus |
| title_full |
The primitive proof theory of the λ-calculus |
| title_fullStr |
The primitive proof theory of the λ-calculus |
| title_full_unstemmed |
The primitive proof theory of the λ-calculus |
| title_sort |
primitive proof theory of the λ-calculus |
| publisher |
Heriot-Watt University |
| publishDate |
2003 |
| url |
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.398486 |
| work_keys_str_mv |
AT vestergaardrene theprimitiveprooftheoryofthelcalculus AT vestergaardrene primitiveprooftheoryofthelcalculus |
| _version_ |
1716736016950231040 |