PLSL

Entries tagged - "Curry-Howad"

• Proofs as Processes. Propositions as sessions
  May 28, 2026 | 11:00 am - 12:00 pm | Odense, NAT IMADA Meeting Room 4 (Ø14-605b-2)