247 followers
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics https://t.co/RLCW86ctJB
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics https://t.co/RLCW86ctJB
Pomset logic: the other approach to non commutativity in logic https://t.co/8Wdh7kZscG
RT @ltchen_tw: @ProfMaxNew It is called simply-typed CwF in a chapter by Castellan, Clairambault and Dybjer. https://t.co/gwKBd24MAh
RT @ltchen_tw: @ProfMaxNew It is called simply-typed CwF in a chapter by Castellan, Clairambault and Dybjer. https://t.co/gwKBd24MAh