Grygiel, Katarzyna
- Counting and generating lambda terms
2012/10/09 by Pierre Lescanne, Grygiel, Katarzyna, Katarzyna Grygiel +1 · 1 voice · 3 citations
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Natural Language Processing Techniques #semigroups and automata theory