Two Scott models for the -calculus

Two Scott models for the -calculus

Bibliographic Details
Main Author: Roussou, Athina
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.

Internet

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.

Similar Items