Search results
From MaRDI portal
- Paper Free Higher Groups in Homotopy Type Theory 2021-01-20 Paper Setoid type theory -- a syntactic translation 2020-05-05 Paper Relative Monads Formalised...10 bytes (17 words) - 19:27, 24 September 2023
- The representation type of rational normal scrolls 2013-04-02 Paper Minimal free resolution for points on surfaces 2012-11-09 Paper The minimal resolution...10 bytes (21 words) - 15:13, 9 December 2023
- bundles 2004-11-15 Paper Sheaf cohomology and free resolutions over exterior algebras 2003-08-13 Paper Monads on projective spaces 2002-01-09 Paper A property...10 bytes (16 words) - 12:58, 11 December 2023
- automation with SMT, tactics, and metaprograms 2023-11-24 Paper Dijkstra monads for free 2017-10-20 Paper Dependent types and multi-monadic effects in F* 2016-10-24...10 bytes (16 words) - 12:24, 7 October 2023
- Paper On monads of exact reflective localizations of abelian categories 2013-11-27 Paper Coxeter and crystallographic arrangements are inductively free 2012-01-04...10 bytes (16 words) - 03:40, 7 October 2023
- arrangements 2022-04-14 Paper Uniform Steiner bundles 2022-02-03 Paper Nearly free curves and arrangements: a vector bundle point of view 2021-09-14 Paper Instanton...10 bytes (17 words) - 21:50, 9 December 2023
- de/entity/Q2874885 2014-08-12 Paper Scalars, Monads, and Categories 2014-05-19 Paper On generalizing free algebras for a functor 2013-06-27 Paper Generalising...10 bytes (18 words) - 10:17, 7 October 2023
- Equational Reasoning with Context-Free Families of String Diagrams 2015-09-22 Paper !-Graphs with Trivial Overlap are Context-Free 2015-01-24 Paper https://portal...10 bytes (16 words) - 09:39, 6 October 2023
- de/entity/Q4993351 2021-06-15 Paper Integral and differential structure on the free $C^{\infty}$-ring modality 2021-04-28 Paper Convenient antiderivatives for...10 bytes (20 words) - 13:54, 7 October 2023
- and/or Arguesian Lattices 1983-01-01 Paper A note on finite sublattices of free lattices 1982-01-01 Paper In Search of a Pappian Lattice Identity 1981-01-01...10 bytes (16 words) - 12:09, 12 December 2023
- 2022-10-13 Paper Directed Containers as Categories 2021-12-02 Paper Dijkstra monads for free 2017-10-20 Paper https://portal.mardi4nfdi.de/entity/Q2968407 2017-03-13...10 bytes (16 words) - 08:25, 25 September 2023
- 2022-10-13 Paper The meaning of memory safety 2019-09-16 Paper Dijkstra monads for free 2017-10-20 Paper Dependent types and multi-monadic effects in F* 2016-10-24...10 bytes (16 words) - 06:12, 25 September 2023
- automation with SMT, tactics, and metaprograms 2023-11-24 Paper Dijkstra monads for free 2017-10-20 Paper Dependent types and multi-monadic effects in F* 2016-10-24...10 bytes (16 words) - 12:24, 7 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q3472217 1988-01-01 Paper Stably Free Modules 1985-01-01 Paper Some theorems on generation of ideals in affine...10 bytes (19 words) - 12:12, 12 December 2023
- Moduli of Abelian Varieties, Vinberg θ-Groups, and Free Resolutions 2013-04-12 Paper Shapes of free resolutions over a local ring 2013-02-04 Paper Poset...10 bytes (19 words) - 21:51, 9 December 2023
- Paper Tensor complexes: multilinear free resolutions constructed from higher tensors 2014-01-07 Paper Filtering free resolutions 2013-06-25 Paper Three...10 bytes (16 words) - 09:05, 6 October 2023
- Publication Date of Publication Type A point-free perspective on lax extensions and predicate liftings 2024-03-05 Paper https://portal.mardi4nfdi.de/entity/Q6136877...10 bytes (19 words) - 14:05, 10 December 2023
- Computational Interpretation of Context-Free Expressions 2022-12-09 Paper Polymorphic lambda calculus with context-free session types 2022-12-08 Paper Relating...10 bytes (17 words) - 02:59, 25 September 2023
- groupoids 2008-09-17 Paper On the First Two Vassiliev Invariants 2006-06-14 Paper Free groups and finite-type invariants of pure braids 2002-12-03 Paper An almost-integral...10 bytes (16 words) - 09:35, 6 October 2023
- persistent homology within Coq/SSReflect 2015-09-17 Paper Refinements for Free! 2015-01-13 Paper A Coq Formalization of Finitely Presented Modules 2014-09-08...10 bytes (16 words) - 20:29, 6 October 2023
