Simple-typed Functional Language Modeled by Category Theory.

Jn Perhc, Zuzana Bilanov, Gabriela Havrilckov

Browse the full ICTERI paper archive.