Login / Signup

Syntactically and semantically regular languages of lambda-terms coincide through logical relations.

Vincent MoreauLê Thành Dung Nguyên
Published in: CoRR (2023)
Keyphrases
  • regular languages
  • regular expressions
  • grammatical inference
  • finite automata
  • context free languages