Title :
A Logical Framework for Reasoning about Logical Specifications
Author :
Padma Raghavan استاد مشاور , Mahmut Kandemir استاد مشاور , John Hannan استاد راهنما
University :
Pennsylvania State University
Major :
PhD )Computer Science and Engineering(
Keyword :
proof theory , operational semantics , co-induction , Induction , logical framework , cut-elimination
