Curry–Howard Correspondence on the Tech Tree