Documentation

LeanPool.DomainTheory

DomainTheory #

Source: doi:10.1007/BFb0012801, url:https://doi.org/10.1007/BFb0012801 Authors: Catskills Research Company Status: verified Main declarations: InfoSys, Domain.Neighborhood.NeighborhoodSystem Tags: domain-theory, denotational-semantics, information-systems MSC: 03B70, 06B35, 68Q55