paper
active
paper:2021-10-18-prabros-1604-02603-pdf-6f9f312021-10-18_Prabros._1604.02603.pdf_6f9f31
/Users/antonborzov/Documents/Research.nosync/alexander/papers/extracted/2021-10-18_Prabros._1604.02603.pdf_6f9f31.mdExternal IDs
title_hash
501fe907d0b251fa90b449d53e678d7ac937108blegacy_slug
2021-10-18-prabros-1604-02603-pdf-6f9f31Frontmatter (14 fields)
{
"date": "2021-10-18",
"title": "2021-10-18_Prabros._1604.02603.pdf_6f9f31",
"topic": "alexander",
"sender": "Prabros.",
"pdf_path": "/Users/antonborzov/Documents/Research.nosync/alexander/papers/2021-10-18_Prabros._1604.02603.pdf_6f9f31.pdf",
"extraction": "pymupdf4llm + cleanup",
"source_pdf": "papers/2021-10-18_Prabros._1604.02603.pdf_6f9f31.pdf",
"source_url": "https://arxiv.org/abs/1604.02603",
"last_updated": "2026-05-09",
"fulltext_path": "/Users/antonborzov/Documents/Research.nosync/alexander/papers/extracted/2021-10-18_Prabros._1604.02603.pdf_6f9f31.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/1864"
}Outgoing (0)
None.
Incoming (0)
None.
References (30)
- Concurrent games and full completenessreferenced-only
- Full abstraction for idealized Algol with passive expressionsreferenced-only
- Game semanticsreferenced-only
- Linearity, sharing and statereferenced-only
- Stochasticity and Partial Order: Doubly Stochastic Maps and Unitary Mixingreferenced-only
- Domains and Lambda Calculireferenced-only
- The semantics and proof theory of linear logicreferenced-only
- Term Rewriting and All Thatreferenced-only
- Process algebrareferenced-only
- Mathematical Theory of Program Correctnessreferenced-only
- LQP: The Dynamic Logic of Quantum Informationreferenced-only
- The Lambda Calculusreferenced-only
- Information Flow: The Logic of Distributed Systemsreferenced-only
- Exploring Logical Dynamicsreferenced-only
- Modal Correspondence Theoryreferenced-only
- Handbook of Process Algebrareferenced-only
- The logic of quantum mechanicsreferenced-only
- Modal Logicreferenced-only
- Softness of hypercoherences and MALL full completenessreferenced-only
- The Shuffle Hopf Algebra and Noncommutative Full Completenessreferenced-only
- Towards an infinitary logic of domains: Abramsky logic for transition systemsreferenced-only
- Logic programming and databasesreferenced-only
- Entropic geometry from logicreferenced-only
- Combinatory Logicreferenced-only
- Local and asynchronous beta-reductionreferenced-only
- Probabilistic game semanticsreferenced-only
- Reversible, Irreversible and Optimal λ-machinesreferenced-only
- Introduction to Lattices and Orderreferenced-only
- Full completeness of the multiplicative linear logic of Chu spacesreferenced-only
- Logic and Information Flowreferenced-only
Mentions (1)
- alexander
/Users/antonborzov/Documents/Research.nosync/alexander/papers/extracted/2021-10-18_Prabros._1604.02603.pdf_6f9f31.md--- title: "2021-10-18_Prabros._1604.02603.pdf_6f9f31" topic: alexander source_pdf: "papers/2021-10-18_Prabros._1604.02603.pdf_6f9f31.pdf" extraction: "pymupdf4llm + cleanup" last_updated: 2026-05-09