A.Rezus: Semantics of constructive type theory, Report No. 70, Informatics Department, Nijmegen University, The Netherlands, Sep 1985. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Polymorphic lambda-calculus with Type:Type - Cardelli (1986) (4 citations) (Correct)
.... domains where Type:Type holds were defined by Scott [Scott 76] The basic language semantics problems were solved by McCracken [McCracken 79] Dependent types come from intuitionistic type theory [Martin Lf 80] and their denotational semantics is studied by Barendregt and Rezus [Barendregt 83] Rezus 85] Relevant languages have been proposed such as Russell [Boehm 80] and Pebble [Burstall 84] Relevant formal systems have been widely studied; they include intuitionistic logic and type theory [Scott 70] Martin Lf 80] second order lambda calculus [Girard 72] Reynolds 74] Fortune 83] Bruce ....
A.Rezus: Semantics of constructive type theory, Report No. 70, Informatics Department, Nijmegen University, The Netherlands, Sep 1985.
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