Developing (Meta)Theory of lambda-calculus in the Theory of Contexts (2001)

Cached

Download Links

by Marino Miculan
Venue:Proc. MERLIN’01, TR 2001/26, Dept. of Math. and Comp. Sci., Univ. of Leicester
Citations:12 - 2 self