Skip to content

Gamma-star Reduction in the Type-theory of Acyclic Algorithms.

Roussanka Loukanova

VenueBICAART
Year2018
ProceedingsICAART (2)

Browse the full ICAART paper archive.