2 papers
cs.LO2011
Weak mu-equality is decidable
Wil Dekkers
In this paper we consider the set of mu-types, an extension of the set of simple types freely generated from a set of atomic types and the type constructor ->, by a new operator mu…
cs.LO2007
Are there Hilbert-style Pure Type Systems?
M. W. Bunder, W. M. J. Dekkers
For many a natural deduction style logic there is a Hilbert-style logic that is equivalent to it in that it has the same theorems (i.e. valid judgements with empty contexts). For i…