A co-induction principle for recursively defined domains (Q1318702)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A co-induction principle for recursively defined domains
scientific article

    Statements

    A co-induction principle for recursively defined domains (English)
    0 references
    0 references
    5 April 1994
    0 references
    0 references
    recursively defined predomains
    0 references
    powerdomain constructors
    0 references
    partial order
    0 references
    greatest fixed point
    0 references
    bisimulations
    0 references
    co-induction principle
    0 references
    denotational semantics
    0 references
    recursively defined datatypes
    0 references
    higher-order functional programming languages
    0 references
    0 references
    0 references
    0 references