DMCA

An Elementary Fragment of Second-Order Lambda Calculus (2005)

Cached

Download Links

by Klaus Aehlig , Jan Johannsen
Venue:ACM Transactions on Computational Logic
Citations:2 - 1 self