The following pages link to (Q3791120):
Displaying 50 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Simple consequence relations (Q809992) (← links)
- Axioms and models of linear logic (Q915719) (← links)
- Machine semantics (Q959818) (← links)
- A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs (Q964500) (← links)
- A semantic proof of polytime soundness of light affine logic (Q987375) (← links)
- The linear abstract machine (Q1105351) (← links)
- The geometry of tensor calculus. I (Q1175729) (← links)
- A decision procedure revisited: Notes on direct logic, linear logic and its implementation (Q1186430) (← links)
- Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic (Q1193657) (← links)
- \(dI\)--domains as prime information systems (Q1198950) (← links)
- A representation theorem for quantales (Q1208239) (← links)
- Linearizing intuitionistic implication (Q1210141) (← links)
- System \(T\), call-by-value and the minimum problem (Q1274979) (← links)
- Full intuitionistic linear logic (Q1314646) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- On completeness theorems for feature logics (Q1353907) (← links)
- Completeness results for linear logic on Petri nets (Q1361243) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- A general adequacy result for a linear functional language (Q1391860) (← links)
- Developing developments (Q1392147) (← links)
- Experiments in linear natural deduction (Q1392279) (← links)
- Additives of linear logic and normalization. I: A (restricted) Church-Rosser property. (Q1398477) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
- On categorical aspects of \(S\)-quantales (Q1738256) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Linear concurrent constraint programming: Operational and phase semantics (Q1854410) (← links)
- Dependent types with subtyping and late-bound overloading (Q1854436) (← links)
- Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- Petri nets, Horn programs, linear logic and vector games (Q1899147) (← links)
- Relations and non-commutative linear logic (Q1910723) (← links)
- A constructive topological proof of van der Waerden's theorem (Q1910731) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Linear logic automata (Q1919766) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus (Q2200839) (← links)
- Nested session types (Q2233456) (← links)
- Kleene star, subexponentials without contraction, and infinite computations (Q2234420) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
- Towards a clausal analysis of cut-elimination (Q2457341) (← links)
- (Q3085435) (← links)
- Structural Analysis of Narratives with the Coq Proof Assistant (Q3087995) (← links)