paper
active
paper:2022-04-01-prabros-lattices-for-cs-pdf-8ecde32022-04-01_Prabros._lattices-for-CS.pdf_8ecde3
/Users/antonborzov/Documents/Research.nosync/alexander/papers/extracted/2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.mdExternal IDs
title_hash
0d52d8b6e879d7352a5fafdb9b378703d466047elegacy_slug
2022-04-01-prabros-lattices-for-cs-pdf-8ecde3Frontmatter (14 fields)
{
"date": "2022-04-01",
"title": "2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3",
"topic": "alexander",
"sender": "Prabros.",
"pdf_path": "/Users/antonborzov/Documents/Research.nosync/alexander/papers/2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.pdf",
"extraction": "pymupdf4llm + cleanup",
"source_pdf": "papers/2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.pdf",
"source_url": "http://profs.sci.univr.it/~giaco/paperi/lattices-for-CS.pdf",
"last_updated": "2026-05-09",
"fulltext_path": "/Users/antonborzov/Documents/Research.nosync/alexander/papers/extracted/2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.md",
"ingest_source": "local-folder",
"ingest_status": "ok",
"source_folder": "/Users/antonborzov/Documents/Research.nosync/alexander/papers",
"telegram_permalink": "https://t.me/nature_of_order_chat/2745"
}Outgoing (0)
None.
Incoming (0)
None.
References (17)
- Galois connections presented calculationallyreferenced-only
- Domain theoryreferenced-only
- Categorical fixed point rulesreferenced-only
- Lattice Theoryreferenced-only
- Power structures and program semanticsreferenced-only
- Distributive lattices and dualityreferenced-only
- Domains for computation, physics and exact real arithmeticreferenced-only
- Formal Concept Analysisreferenced-only
- A Compendium of Continuous Latticesreferenced-only
- A survey of Boolean algebras with operatorsreferenced-only
- Categories for the Working Mathematicianreferenced-only
- Fixedpoint theorems and semantics: A folk talereferenced-only
- Chain-complete posets and directed sets with applicationsreferenced-only
- Algebras, Lattices, Varieties, volume Ireferenced-only
- The Theory and Practice of Concurrencyreferenced-only
- A calculus of transition systems: Towards universal coalgebrareferenced-only
- Analysing and Modelling Data and Knowledgereferenced-only
Mentions (1)
- alexander
/Users/antonborzov/Documents/Research.nosync/alexander/papers/extracted/2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.md--- title: "2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3" topic: alexander source_pdf: "papers/2022-04-01_Prabros._lattices-for-CS.pdf_8ecde3.pdf" extraction: "pymupdf4llm + cleanup" last_updated: 2