PLSL

Entries tagged - "initial semantics"

• Abstract Syntax and Variable Binding
  Apr 30, 2026 | 11:00 am - 12:00 pm | Odense, NAT IMADA Meeting Room 3 (Ø9-601a-2)