?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Ivan&rft.aulast=Lanese&rft.au=Lanese%2C+Ivan&rft.atitle=Reversibility+in+the+higher-order+%5C(%CF%80%5C)-calculus&rft.title=Theoretical+Computer+Science&rft.volume=625&rft.date=2016&rft.pages=25-84&rft.issn=0304-3975&rft.genre=article