🧠∑λ

#lambda calculus #computability theory #mathematical logic #formal methods #Foundations of CS #type theory #recursion theory

🅰️⊃

#type theory #set theory #superset #subtype #programming languages #formal methods #mathematical type

🔡🧠🏷️✔️

#mbti code #type formula #four letters #personality classification #type theory #psychological framework #jungian functions

🧠+🔢+💻

#16 personalities #personality database #cognitive functions #type theory #online database

🎓🔬☕️

#FlexJa #programming language research #academic language #java extension #type theory

🔝⌨️

#type theory #base class #parent class #object oriented #generalization #top type

📜<T>

#generics #type parameter #type variable #type constraint #programming language features #formal methods #type theory