T-calculus

Herman Geuvers, Robbert Krebbers, James McKinna. T-calculus. Annals of Pure and Applied Logic, 164(6):676-701, 2013. [doi]

Abstract

Abstract is missing.