On the Equational Theory of Non-Normalising Pure Type Systems (2001)

Cached

Download Links

by Gilles Barthe , Thierry Coquand