著者
Benjamin C. Pierce
タイトル
Bounded Quantification is Undecidable
日時
July 1991
カテゴリ
CMUTR
Category: CMUTR
Institution: Carnegie Mellon University, School of Computer
        Science
Number: CMU-CS-91-161
Bibtype: TechReport
Author: Benjamin C. Pierce
Month: jul
Title: Bounded Quantification is Undecidable
Year: 1991
Key: Lambda calculus and related systems, language theory,
        programming, type structure, data types and structures,
        polymorphism, subtyping, bounded quantification
Address: Pittsburgh, PA