Search

Author:

Tiu, Alwen Fernanto

Title:

A Logical Framework for Reasoning about Logical Specifications

Graduate Program:

Computer Science and Engineering

Keywords:

proof theory
operational semantics
co-induction
induction
logical framework
cut-elimination

File:

Download etd.pdf

Committee Members:

John Joseph Hannan, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Member
Padma Raghavan, Committee Member
Stephen George Simpson, Committee Member
Frank Pfenning, Committee Member