8 citations · 8 across the 1 of their papers we have counts for
1 paper
Robin Adams
We present the definition of the logical framework TF, the Type Framework. TF is a lambda-free logical framework; it does not include lambda-abstraction or product kinds. We give f…