History of constructive type theory (1970-95)link.springer.com2 points·holonomically··0 commentsOpen articleSaveView on HN