Re: [isabelle] Re. What is this 3 levels of lambda calculi



>Go ahead; try to define it for 2 or more 
>levels...
I already understand this 2 levels, thanks

==
Askar Safin
http://vk.com/safinaskar
Kazan, Russia


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.