Special report by epic reseach 27 august 2013
Change management
Special report by epic reseach 3 september 2013
Special report by epic reseach 2 september 2013
Special report by epic reseach 26 august 2013
A Locally Nameless Theory of Objects 1.Introduction: -calculus and De Bruijn notation 2.locally nameless technique 3.formalization in Isabelle and proofs.