🧠∑λ

#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