Search results
From MaRDI portal
- monoidal categories 2024-09-25 Paper A categorical approach to synthetic chemistry 2024-09-13 Paper Rewriting for monoidal closed categories 2024-05-27...10 bytes (13 words) - 06:03, 7 October 2023
- Closed Categories and Conservativity of ExtensionsT[x] ofT 2000-05-17 Paper Functional completeness of the free locally Cartesian closed category and interpretations...10 bytes (14 words) - 09:17, 7 October 2023
- Paper ``Pathologies in two syntactic categories of partial maps 1989-01-01 Paper Creativeness and completeness in recursion categories of partial recursive...10 bytes (15 words) - 14:59, 7 December 2023
- higher-dimensional categories. I: Part 3 2002-09-06 Paper From coherent structures to universal properties 2002-08-24 Paper On weak higher-dimensional categories. I....10 bytes (13 words) - 15:31, 8 December 2023
- lattices, Foulis Semigroups and Dagger Kernel Categories 2010-07-27 Paper Quantum logic in dagger kernel categories 2010-07-02 Paper Automatic verification of...10 bytes (15 words) - 14:28, 9 December 2023
- 2011-02-10 Paper Analyzing completeness of axiomatic functional systems for temporal × modal logics 2010-02-16 Paper Functional systems in the context of temporal×modal...10 bytes (18 words) - 18:28, 9 December 2023
- 2023-06-02 Paper Linear Logic Properly Displayed 2023-04-05 Paper Syntactic Completeness of Proper Display Calculi 2022-12-08 Paper https://portal.mardi4nfdi...10 bytes (15 words) - 11:11, 6 October 2023
- Domain-Theoretic Foundations of Functional Programming 2007-01-16 Paper Well-foundedness in realizability 2006-11-06 Paper Completeness of continuation models for...10 bytes (15 words) - 16:31, 7 December 2023
- applications in Hilbert spaces 2004-08-13 Paper Ishihara's proof technique in constructive analysis 2004-06-15 Paper A constructive look at the completeness of the...10 bytes (13 words) - 00:43, 25 September 2023
- quasi-transitive functional equations. 1916-01-01 Paper 1. A problem in quasi-transitive functional equations. 2. Some theorems an quasi-transitive functional equations...10 bytes (15 words) - 14:11, 24 September 2023
- Ortholattice 1975-01-01 Paper First-order definability in modal logic 1975-01-01 Paper Solution to a completeness problem of Lemmon and Scott 1975-01-01 Paper Semantic...10 bytes (16 words) - 15:22, 9 December 2023
- topological categories 1981-01-01 Paper Reflexive Topological Semilattices 1981-01-01 Paper Duality theorems for algebras in convenient categories 1979-01-01...10 bytes (15 words) - 18:36, 12 December 2023
- Survey 2020-01-16 Paper Hierarchical hybrid logic 2019-11-12 Paper Limits in categories of Vietoris coalgebras 2019-03-12 Paper Languages and models for hybrid...10 bytes (13 words) - 18:46, 24 September 2023
- Multi-amalgamation of rules with application conditions in -adhesive categories 2016-07-26 Paper Finitary -adhesive categories 2016-07-26 Paper -adhesive transformation...10 bytes (15 words) - 10:43, 8 December 2023
- lattices 2009-11-11 Paper On some categories of involutive centered residuated lattices 2009-03-17 Paper Combinatorial functional and differential equations applied...10 bytes (13 words) - 13:58, 10 December 2023
- Armstrong Relations for Functional Dependencies 1984-01-01 Paper λ-definable functionals andβη conversion 1983-01-01 Paper Completeness, invariance and λ-definability...10 bytes (15 words) - 08:16, 12 December 2023
- Iteration in a Framework of Generic Effects 2012-06-01 Paper STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS 2012-04-24 Paper Named Models in Coalgebraic...10 bytes (15 words) - 15:53, 24 September 2023
- about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras 2016-12-20 Paper Bell states and negative sentences in the distributed...10 bytes (14 words) - 13:43, 6 October 2023
- hyperfield 2022-05-10 Paper Group completion in the \(K\)-theory and Grothendieck-Witt theory of proto-exact categories 2022-05-03 Paper Automorphic forms for...10 bytes (13 words) - 11:17, 7 October 2023
- topos construction: comprehension, extensionality, quotients and functional-completeness 2016-04-05 Paper Hilbertian Toposes Epsilon Toposes 2016-03-02 Paper...10 bytes (13 words) - 08:51, 6 October 2023
