concept
active
concept:hilary-a-priestleyHilary A. Priestley
Author of the primer on ordered sets and complete lattices for computer science.
Neighborhood — ranked by edge-count
Frameworks (1)
framework
- Complete LatticesstudiesCentral mathematical structure explored throughout the paper; ordered sets with special properties for all suprema and infima.
Communities (1)
community
- Formal Concept Analysismembers_of
Concepts (6)
concept
- Ian Piumartaassociated_withAuthor of the paper proposing n-way associative lookup as a unifying primitive for dynamic language semantics.
- Coalgebracites
- Complete Latticeimplements
- Galois Connectionimplements
- CPO (Complete Partial Order)implements
- The language fragment underlying Occam; cited in message-passing discussion.
Institutes (1)
institute
- University of Oxford, Mathematical Instituteaffiliated_withInstitutional affiliation of the author.