Category Archives: learning

“…his course covered extremely abstract topics, mostly concerning deep formal issues, like how the semantics of P.L. can be constructed. We have started with lambda calculus, and from that innocent foundation, erected a progressively complex conceptual lattice…” Continue reading →