Login / Signup

Polymorphic lambda calculus with context-free session types.

Bernardo AlmeidaAndreia MordidoPeter ThiemannVasco T. Vasconcelos
Published in: Inf. Comput. (2022)
Keyphrases
  • context free
  • lambda calculus
  • context sensitive
  • context dependent
  • grammatical inference
  • context free grammars
  • programming language
  • inductive inference
  • finite state
  • predicate calculus
  • formal model
  • parse tree