Two Scott models for the -calculus
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
1983
|
| Online Access: | http://spectrum.library.concordia.ca/5682/1/MK61838.pdf Roussou, Athina <http://spectrum.library.concordia.ca/view/creators/Roussou=3AAthina=3A=3A.html> (1983) Two Scott models for the -calculus. Masters thesis, Concordia University. |
| id |
ndltd-LACETR-oai-collectionscanada.gc.ca-QMG.5682 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-LACETR-oai-collectionscanada.gc.ca-QMG.56822013-10-22T03:44:14Z Two Scott models for the -calculus Roussou, Athina 1983 Thesis NonPeerReviewed application/pdf http://spectrum.library.concordia.ca/5682/1/MK61838.pdf Roussou, Athina <http://spectrum.library.concordia.ca/view/creators/Roussou=3AAthina=3A=3A.html> (1983) Two Scott models for the -calculus. Masters thesis, Concordia University. http://spectrum.library.concordia.ca/5682/ |
| collection |
NDLTD |
| format |
Others
|
| sources |
NDLTD |
| author |
Roussou, Athina |
| spellingShingle |
Roussou, Athina Two Scott models for the -calculus |
| author_facet |
Roussou, Athina |
| author_sort |
Roussou, Athina |
| title |
Two Scott models for the -calculus |
| title_short |
Two Scott models for the -calculus |
| title_full |
Two Scott models for the -calculus |
| title_fullStr |
Two Scott models for the -calculus |
| title_full_unstemmed |
Two Scott models for the -calculus |
| title_sort |
two scott models for the -calculus |
| publishDate |
1983 |
| url |
http://spectrum.library.concordia.ca/5682/1/MK61838.pdf Roussou, Athina <http://spectrum.library.concordia.ca/view/creators/Roussou=3AAthina=3A=3A.html> (1983) Two Scott models for the -calculus. Masters thesis, Concordia University. |
| work_keys_str_mv |
AT roussouathina twoscottmodelsforthecalculus |
| _version_ |
1716606842946191360 |