An induction principle for Pure Type Systems (1998)
Gilles Barthe, John Hatclioe, Morten Heine
We present an induction principle for Pure Type Systems and use that principle to dene CPS translations and to solve the problem of Expansion Postponement for a large class of Pure Type Systems. Our...
An induction principle for Pure Type Systems (1998)
Gilles Barthe, John Hatclioe, Morten Heine
We present an induction principle for Pure Type Systems and use that principle to dene CPS translations and to solve the problem of Expansion Postponement for a large class of Pure Type Systems. Our...