S.Feferman: Polymorphic typed lambda-calculi in a type-free axiomatic framework, Dept. of Mathematics, Journal of the ACM 151, 185, 30, 1 January. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A semantic basis for Quest - Cardelli, Longo (1990) (40 citations) (Correct)
No context found.
S.Feferman: Polymorphic typed lambda-calculi in a type-free axiomatic framework, Dept. of Mathematics, Journal of the ACM 151, 185, 30, 1 January.
A semantic basis for Quest - Luca Cardelli Giuseppe (1990) (40 citations) (Correct)
No context found.
S.Feferman: Polymorphic typed lambda-calculi in a type-free axiomatic framework, Dept. of Mathematics, Journal of the ACM 151, 185, 30, 1 January.
A semantic basis for Quest - Cardelli, Longo (1990) (40 citations) (Correct)
No context found.
S.Feferman: Polymorphic typed lambda-calculi in a type-free axiomatic framework, Dept. of Mathematics, Journal of the ACM 151, 185, 30, 1 January.
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