Carlos Camarão, Lucília Figueiredo. Towards Higher-Order Types. Electronic Notes in Theoretical Computer Science, 14:38-51, 1998. [doi]
@article{CamaraoF98, title = {Towards Higher-Order Types}, author = {Carlos Camarão and Lucília Figueiredo}, year = {1998}, url = {http://www.elsevier.com/gej-ng/31/29/23/38/23/show/Products/notes/index.htt#004}, researchr = {https://researchr.org/publication/CamaraoF98}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {14}, pages = {38-51}, }