Robert A. G. Seely. Hyperdoctrines, Natural Deduction and the Beck Condition. Math. Log. Q., 29(10):505-542, 1983. [doi]
@article{Seely83, title = {Hyperdoctrines, Natural Deduction and the Beck Condition}, author = {Robert A. G. Seely}, year = {1983}, doi = {10.1002/malq.19830291005}, url = {http://dx.doi.org/10.1002/malq.19830291005}, researchr = {https://researchr.org/publication/Seely83}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {29}, number = {10}, pages = {505-542}, }