![](/img/cover-not-exists.png)
Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories
Crole, Roy L., Nebel, FrankVolume:
298
Language:
english
Journal:
Electronic Notes in Theoretical Computer Science
DOI:
10.1016/j.entcs.2013.09.009
Date:
November, 2013
File:
PDF, 386 KB
english, 2013