Вы здесь

Главная

lambek calculus

Связанные издания:

Formal Grammar: Proc./17th and 18th International Conferences FG 2012 Opole, Poland, August 2012 and FG 2013 Dusseldorf, Germany, August 2013
Relational and Algebraic Methods in Computer Science: Proc./19th International Conference, RAMiCS 2021, Marseille, France, November 2021
Trends in Functional Programming: Revised Selected Papers/22nd International Symposium, TFP 2021, Virtual Event, February 2021