@inproceedings{fiore-2008-second, title={Second-Order and Dependently-Sorted Abstract Syntax}, ISSN={1043-6871}, url={http://dx.doi.org/10.1109/lics.2008.38}, DOI={10.1109/lics.2008.38}, booktitle={2008 23rd Annual IEEE Symposium on Logic in Computer Science}, publisher={IEEE}, author={Fiore, Marcelo}, year={2008}, month=June, pages={57–68} }