The top documents tagged [b i alejandro dazcaro]
Simply typed lambda-calculus modulo isomorphisms
4.022 views