Search results

From MaRDI portal
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • distributional semantics 2017-12-20 Paper A Frobenius Model of Information Structure in Categorical Compositional Distributional Semantics 2017-12-18 Paper...
    10 bytes (16 words) - 10:16, 6 October 2023
  • Information Structure in Categorical Compositional Distributional Semantics 2017-12-18 Paper Open System Categorical Quantum Semantics in Natural Language Processing...
    10 bytes (17 words) - 14:43, 6 October 2023
  • distributional semantics 2021-10-25 Paper Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics 2021-03-19...
    10 bytes (18 words) - 19:50, 13 December 2023
  • Protocols 2009-03-10 Paper What Do Semantics Matter When the Meat Is Overcooked? 2008-06-19 Paper An algebraic semantics of event-based architectures 2007-12-12...
    10 bytes (19 words) - 19:56, 11 December 2023
  • proposed categorical semantics for ML modules 2022-12-16 Paper Introduction to Computation 2021-07-23 Paper A proposed categorical semantics for Pure ML...
    10 bytes (19 words) - 16:25, 12 December 2023
  • Paper https://portal.mardi4nfdi.de/entity/Q4250362 1999-06-17 Paper Categorical semantics of parallel program design 1997-12-08 Paper On the Modularization...
    10 bytes (21 words) - 15:15, 12 December 2023
  • Pushdown Register Automata 2014-10-14 Paper Game Semantics for Nominal Exceptions 2014-04-16 Paper Game semantics for interface middleweight Java 2014-04-10...
    10 bytes (16 words) - 18:05, 11 December 2023
  • Gelfand Duality 2015-08-25 Paper Trace semantics via determinization 2015-04-28 Paper Automata Learning: A Categorical Perspective 2014-06-02 Paper Scalars...
    10 bytes (17 words) - 15:28, 9 December 2023
  • and lower complexity 2016-05-03 Paper Safe recursion revisited. I: Categorical semantics for lower complexity 2013-12-10 Paper Multiplexor Categories and...
    10 bytes (18 words) - 03:07, 10 December 2023
  • mardi4nfdi.de/entity/Q5020617 2022-01-06 Paper Graded Hoare logic and its categorical semantics 2021-10-18 Paper Graded modal dependent type theory 2021-10-18 Paper...
    10 bytes (19 words) - 05:50, 13 December 2023
  • enriched categories 2014-02-04 Paper Safe recursion revisited. I: Categorical semantics for lower complexity 2013-12-10 Paper https://portal.mardi4nfdi.de/entity/Q2849877...
    10 bytes (20 words) - 18:14, 9 December 2023
  • specifications 2018-10-04 Paper A Full Operational Semantics for Asynchronous Relational Networks 2016-02-25 Paper Categorical foundations for structured specifications...
    10 bytes (20 words) - 01:32, 13 December 2023
  • de/entity/Q5747514 2014-02-17 Paper Categorical abstract algebraic logic: referential algebraic semantics 2013-09-23 Paper Categorical abstract algebraic logic:...
    10 bytes (17 words) - 07:08, 7 October 2023
  • non-deterministic dataflow 2005-02-28 Paper Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay 2003-07-29 Paper...
    10 bytes (18 words) - 02:13, 10 December 2023
  • conditions on variables and categorical logic 1989-01-01 Paper Partiality, cartesian closedness, and toposes 1989-01-01 Paper The categorical abstract machine 1987-01-01...
    10 bytes (18 words) - 20:26, 11 December 2023
  • are separably categorical structures 2017-02-24 Paper Polish \(G\)-spaces and continuous logic 2017-02-08 Paper A countably categorical theory which is...
    10 bytes (17 words) - 21:23, 9 December 2023
  • Publication Date of Publication Type Clustering mixed numerical and categorical data with missing values 2023-11-23 Paper Conditional variational autoencoder...
    10 bytes (19 words) - 03:28, 12 December 2023
  • Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory 2015-05-22 Paper Categorical Proof Theory of Co-Intuitionistic Linear Logic 2014-09-30...
    10 bytes (16 words) - 03:22, 13 December 2023
  • 1994-10-11 Paper Monads and algebras in the semantics of partial data types 1992-09-27 Paper Categorical fixed point semantics 1992-06-25 Paper A categorial approach...
    10 bytes (18 words) - 09:32, 12 December 2023
  • Intersection types and λ-definability 2004-02-08 Paper On phase semantics and denotational semantics: The exponentials 2003-02-03 Paper Relative definability...
    10 bytes (17 words) - 02:44, 9 December 2023
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)