U ucilnica.fri.uni-lj.si Implementing Substitution in λ-Calculus 2 points maticzav 4 years ago 0 comments