著者
Robert Harper, Furio Honsell, Gordon Plotkin
タイトル
A framework for defining Logics
日時
June 1991
カテゴリ
CMUTR
Category: CMUTR
Institution: Carnegie Mellon University, School of Computer
        Science
Number: CMU-CS-91-153
Bibtype: TechReport
Author: Robert Harper
        Furio Honsell
        Gordon Plotkin
Month: jun
Title: A framework for defining Logics
Year: 1991
Key: Logical frameworks, formal systems, typed lambda calculus,
        computer-assisted formal reasoning
Address: Pittsburgh, PA