Skip to content

On Divergence and Halting Problems for Monadic Program Schemas.

Valery A. Nepomniaschy

VenueBMFCS
Year1978
ProceedingsMFCS

Browse the full MFCS paper archive.