concept
pending-review
concept:hilary-a-priestleyHilary A. Priestley
papers/2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.pdfFrontmatter (8 fields)
{
"author": null,
"enrichment": {
"is_stale": true
},
"norm_label": "hilary a. priestley",
"source_url": null,
"graphify_id": "lattices_priestley",
"source_file": "papers/2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.pdf",
"imported_from": "/Users/antonborzov/Documents/Research.nosync/alexander/papers/extracted/graphify-out/graph.json",
"graphify_file_type": "concept"
}Outgoing (10)
affiliated_with (1)
- University of Oxford, Mathematical Institute(institute)
Associated with (1)
- Ian Piumarta(concept)
Cites (3)
- Coalgebra(concept)
- CSP (Communicating Sequential Processes)(concept)
- Domain theory(paper)
Implements (3)
- Complete Lattice(concept)
- CPO (Complete Partial Order)(concept)
- Galois Connection(concept)
Member of (1)
- Formal Concept Analysis(community)
studies (1)
- Complete Lattices(framework)
Incoming (1)
Associated with (1)
Mentions (3)
- alexander-typed
2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.md - papers-typed
2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.md - alexander
papers/2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.pdf