Skip to content

Gamma-Star Canonical Forms in the Type-Theory of Acyclic Algorithms.

Roussanka Loukanova

VenueBICAART
Year2018
ProceedingsICAART (Revised Selected Papers)

Browse the full ICAART paper archive.