Sciweavers

ENTCS
2008
92views more  ENTCS 2008»
13 years 11 months ago
Redundancy Elimination for LF
We present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms w...
Jason Reed