Primitive recursive algebraic theories and program schemes

W. Kühnel, J. Meseguer, M. Pfender, I. Sols

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Primitive recursive algebraic theories and program schemes'. Together they form a unique fingerprint.

Mathematics