Projects Directory : computes the normal form of a simply-typed lambda term in standard (not de Bruijn) notation - Computing Complexity

Projects starting with characters