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