?url_ver=Z39.88-2004&rft_id=10.1007%2Fs10817-011-9224-3&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Bonchi&rft.au=Bonchi%2C+Filippo&rft.aufirst=Filippo&rft.atitle=A+Presheaf+Environment+for+the+Explicit+Fusion+Calculus&rft.title=Journal+of+Automated+Reasoning+-+Special+issue+on+Binding%2C+Substitution+and+Naming&rft.issue=2&rft.volume=49&rft.date=2012&rft.pages=161-183&rft.issn=0168-7433&rft.genre=article