A Sequent Calculus for Type Theory [pdf]cs.ru.nl2 points·danny00··0 commentsOpen articleSaveView on HN