research
∙
07/31/2023
Syntactically and semantically regular languages of lambda-terms coincide through logical relations
A fundamental theme in automata theory is regular languages of words and...
research
∙
01/29/2023