Skip to content

Type-Theory of Acyclic Algorithms with Generalised Immediate Terms.

Roussanka Loukanova

VenueBICAART
Year2019
ProceedingsICAART (2)

Browse the full ICAART paper archive.