Skip to content

Operational and Mathematical Semantics for Recursive Polyadic Program Schemata.

Willem P. de Roever

VenueBMFCS
Year1973
ProceedingsMFCS

Browse the full MFCS paper archive.