Transfinite corecursion

Transfinite corecursion

Article

Nestra, Härmel

Published in: Nordic journal of computing 12 (2005) : 2, s. 133-156

Saved in:

Language

English

Classification

acmccs D.3.1
acmccs F.3.2
acmccs F.4.1
acmccs I.2.2

Subjects/keywords

corecursion

transfinite semantics

program slicing