|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 6 keywords
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
80 | Takahisa Mohri |
On Formalization of Bicategory Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings, pp. 199-214, 1997, Springer, 3-540-63379-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
75 | Brian Day, Paddy McCrudden, Ross Street |
Dualizations and Antipodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(3), pp. 229-260, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
monoidal bicategory, enriched category, bidual, antipode, quantum group, quasi-Hopf algebra, comodule, braided group |
75 | Jürgen Koslowski |
Beyond the Chu-construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(2), pp. 153-171, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
closed bicategory, *-autonomy, interpolad, module, monad |
52 | David N. Yetter |
Measurable Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(5-6), pp. 469-500, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
monoidal bicategory, Borel space, direct integral, measurable cetegory, monoidal category |
46 | Tobias Heindel, Pawel Sobocinski 0001 |
Van Kampen Colimits as Bicolimits in Span. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 335-349, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
46 | Ross Street |
Functorial Calculus in Monoidal Bicategories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(3), pp. 219-227, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
enriched category, dinatural transformation, Gray monoid, dual |
46 | Stefano Kasangian, Anna Labella, Alberto Pettorossi |
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 375-406, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
34 | Pierre Clairambault, Simon Forest |
The Cartesian Closed Bicategory of Thin Spans of Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.11860, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Pierre Clairambault, Simon Forest |
The Cartesian Closed Bicategory of Thin Spans of Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller |
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021., pp. 67-83, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Swati Yadav, S. P. Tiwari, Mausam Kumari, Vijay K. Yadav 0001 |
Bicategory-Theoretic Approach to Minimal Fuzzy Realization for Fuzzy Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Math. Nat. Comput. ![In: New Math. Nat. Comput. 17(3), pp. 775-799, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | S. P. Tiwari, Vijay K. Yadav 0001, Priyanka Pal, B. K. Sharma |
Minimal Fuzzy Realization for Fuzzy Behaviour: A Bicategory-theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 31(1-2), pp. 105-121, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
34 | S. P. Tiwari, Vijay K. Yadav 0001, M. K. Dubey |
Minimal realization for fuzzy behaviour: A bicategory-theoretic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 30(2), pp. 1057-1065, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Alexander E. Hoffnung |
The Hecke Bicategory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 1(3), pp. 291-323, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Gian Luca Cattani, Marcelo P. Fiore |
The Bicategory-Theoretic Solution of Recursive Domain Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computation, Meaning, and Logic ![In: Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, pp. 203-222, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Keith A. Hardie, Klaus Heiner Kamps, R. W. Kieboom |
A Homotopy Bigroupoid of a Topological Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(3), pp. 311-327, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
homotopy bigroupoid, bigroupoid, bicategory, 2-groupoid, homotopical algebra, homotopy operations, coherence |
23 | Renato Betti |
Weak Equivalence of Internal Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(1-2), pp. 307-316, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
internal category, Morita equivalence, module |
23 | Eugene W. Stark |
Fibrational Semantics of Dataflow Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 597-612, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|