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

by
Marino Miculan

Venue: | Proc. MERLIN’01, TR 2001/26, Dept. of Math. and Comp. Sci., Univ. of Leicester |

Citations: | 12 - 2 self |