J.G.Hook: Understanding Russell, a first attempt, in Semantics of Data Types, Lecture Notes in Computer Science 173, pp. 51-67, Springer-Verlag, 1984. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Polymorphic lambda-calculus with Type:Type - Cardelli (1986) (4 citations) (Correct)
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (90 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC