@inproceedings{chaudhuri:hal-03528659, TITLE = {{Subformula Linking for Intuitionistic Logic with Application to Type Theory}}, AUTHOR = {Chaudhuri, Kaustuv}, URL = {https://inria.hal.science/hal-03528659}, BOOKTITLE = {{CADE 2021 - 28th International Conference on Automated Deduction}}, ADDRESS = {Pittsburgh, PA (Virtual), United States}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {12699}, PAGES = {200-216}, YEAR = {2021}, MONTH = Jul, DOI = {10.1007/978-3-030-79876-5\_12}, PDF = {https://inria.hal.science/hal-03528659/file/paper39_hal.pdf}, HAL_ID = {hal-03528659}, HAL_VERSION = {v1}, }