H. M. B. (@love2read2end) 's Twitter Profile
H. M. B.

@love2read2end

CompilersOptimisation•Ontologies•DSLs(LanguageEngineering)•Scala•PhilosophyOfMath&Logic(Intuitionistic)•TypeTheories&Semantics•WebSite👇🏻LivingWittgensteinian•

ID: 742637946

linkhttps://ontologies.ir/about.html calendar_today07-08-2012 10:34:28

63 Tweet

134 Followers

2,2K Following

H. M. B. (@love2read2end) 's Twitter Profile Photo
H. M. B.
@love2read2end

a year ago

Meaning/Semantic is “LOCAL”, Hoisted up to a term/object/value level by a “worldly” implementation. u: S = (Lambda(x: S)x)u