Sekventsiaalne lausearvutus kategooriateooria vaatepunktist

Ettekanne tutvustab kuulajale sekventsiaalset lausearvutust läbi tüübitud termarvutuse (lähtudes Curry-Howardi vastavusest). Kirjeldatakse signatuuri ning signatuuril defineeritud termide mõisteid.

Fikseeritud signatuuri poolt määratud tüübid ning (hästi tüübitud) termid moodustavad multikategooria (multicategory). Osutub, et see multikategooria ongi tegelikult vaba multikategooria signatuuril (free multicategory on a signature).