Entity usage

From MaRDI portal

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

List of pages that use a given entity

Showing below up to 11 results in range #1 to #11.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

  1. The Sequent Calculus of Skew Monoidal Categories: Label: en
  2. Pregroup Grammars, Their Syntax and Semantics: Label: en
  3. Pomset Logic: Label: en
  4. Morphisms of Rings: Label: en
  5. Aspects of Categorical Recursion Theory: Label: en
  6. The Mathematics of Text Structure: Label: en
  7. Categories with Families: Unityped, Simply Typed, and Dependently Typed: Label: en
  8. Extensions of Lambek Calculi: Label: en
  9. On the Naturalness of Mal’tsev Categories: Label: en
  10. Sheaf Representations and Duality in Logic: Label: en
  11. Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets: Label: en

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:EntityUsage/Q5014591"
Powered by MediaWiki