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. |
Description not available. |