A Rewriting View of Simple Typing

Abstract

This paper shows how a recently developed view of typing as small-step abstract reduction, due to Kuan, MacQueen, and Findler, can be used to recast the development of simple type theory from a rewriting perspective. We show how standard meta-theoretic results can be proved in a completely new way, using the rewriting view of simple typing. These meta… (More)
DOI: 10.2168/LMCS-9(1:4)2013

Topics

2 Figures and Tables

Slides referencing similar topics