User talk:Verivici

Calculus of constructions
Hey (btw, welcome to the wiki, it seems no one has ever welcomed you here :) ), your most recent edit on Loader's number seems to imply you "know better" than Wikipedia page. If this is the case and you know CoC at least somewhat well, could you possibly point out some sort of introduction to the theory of typed calculi? This is one of the things on my (admittedly long) to-learn list and I (and possibly others) would appreciate such a reference. LittlePeng9 (talk) 19:41, November 22, 2016 (UTC)