×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [close change]
Economy & Finance
Special report by epic reseach 27 august 2013
108 views
Business
Change management
1.515 views
Business
Special report by epic reseach 3 september 2013
101 views
Economy & Finance
Special report by epic reseach 2 september 2013
89 views
Economy & Finance
Special report by epic reseach 26 august 2013
68 views
Documents
A Locally Nameless Theory of Objects 1.Introduction: -calculus and De Bruijn notation 2.locally nameless technique 3.formalization in Isabelle and proofs
222 views