Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Alexandru Gheorghiu, Chris Heunen |
Ontological models for quantum theory as functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019., pp. 196-212, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | David I. Spivak |
Generalized Lens Categories via functors Cop → Cat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.02202, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
19 | Vladimir Zamdzhiev |
Reflecting Algebraically Compact Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 15-23, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Bruno Gavranovic |
Learning Functors using Gradient Descent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019., pp. 230-245, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Adriana Balan, Alexander Kurz 0001, Jirí Velebil |
Extending set functors to generalised metric spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 15(1), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Cristina Bertone, Francesca Cioffi, Davide Franco |
Functors of liftings of projective schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 94, pp. 105-125, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Ruizhi Huang, Jie Wu |
Cancellation and homotopy rigidity of classical functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 99(1), pp. 225-248, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Jirí Mockor, Irina Perfilieva |
Functors Among Categories of L-fuzzy Partitions, L-fuzzy Pretopological Spaces and L-fuzzy Closure Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA/NAFIPS ![In: Fuzzy Techniques: Theory and Applications - Proceedings of the 2019 Joint World Congress of the International Fuzzy Systems Association and the Annual Conference of the North American Fuzzy Information Processing Society IFSA/NAFIPS'2019 (Lafayette, Louisiana, USA, June 18-21, 2019), pp. 382-393, 2019, Springer, 978-3-030-21919-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Lê Thành Dung Nguyên, Cécilia Pradic |
From Normal Functors to Logarithmic Space Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece., pp. 123:1-123:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-109-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Heinrich Apfelmus |
Demo: functors and music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FARM@ICFP ![In: Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, FARM@ICFP 2019, Berlin, Germany, August 18-23, 2019, pp. 52-55, 2019, ACM, 978-1-4503-6811-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Jeremy Avigad, Mario Carneiro, Simon Hudon |
Data Types as Quotients of Polynomial Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA., pp. 6:1-6:19, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-122-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Maria Maximova |
Behavior and confluence analysis of M-adhesive transformation systems using M-functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
19 | David Sprunger |
A complete logic for behavioural equivalence in coalgebras of finitary set functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 94, pp. 184-199, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Jirí Adámek, Stefan Milius, Lawrence S. Moss |
Fixed points of functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 95, pp. 41-81, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Matthew Harrison-Trainor, Russell G. Miller, Antonio Montalbán |
Borel Functors and Infinitary Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 83(4), pp. 1434-1456, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Martin Brandenburg |
Operations on Categories of Modules are Given by Schur Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(2), pp. 287-308, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Septimiu Crivei, Gabriela Olteanu |
Rickart and Dual Rickart Objects in Abelian Categories: Transfer via Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(4), pp. 681-698, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Jan Foniok, Claude Tardif |
Hedetniemi's Conjecture and Adjoint Functors in Thin Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(1), pp. 113-128, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Ana Sokolova, Harald Woracek |
Proper Semirings and Proper Convex Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.07830, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Natsuki Urabe, Ichiro Hasuo |
Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.06811, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Karl Crary |
Hygienic Source-Code Generation Using Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.01579, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Adriana Balan, Alexander Kurz 0001, Jirí Velebil |
Extending set functors to generalised metric spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.02229, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Stefan Milius |
Proper Functors and Fixed Points for Finite Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 14(3), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Tibor Beke, Jirí Rosický |
Elementary equivalences and accessible functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 169(7), pp. 674-703, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Andreas Lochbihler, Joshua Schneider 0001 |
Bounded Natural Functors with Covariance and Contravariance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2018, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Richard Garner, Tom Hirschowitz |
Shapely monads and analytic functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 28(1), pp. 33-83, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Dominic A. Orchard |
Complexity bounds for container functors and comonads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 261, pp. 144-158, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Amir Jafari, Mostafa Einollahzadeh |
Tannakian formalism for fiber functors over tensor categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 77(1), pp. 1-26, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Karl Crary |
Hygienic Source-Code Generation Using Functors - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings, pp. 53-60, 2018, Springer, 978-3-319-73304-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Natsuki Urabe, Ichiro Hasuo |
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers, pp. 214-234, 2018, Springer, 978-3-030-00388-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Härmel Nestra |
Double Applicative Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, pp. 333-353, 2018, Springer, 978-3-030-02507-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Ana Sokolova, Harald Woracek |
Proper Semirings and Proper Convex Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 331-347, 2018, Springer, 978-3-319-89365-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Steven Phillips |
What underlies dual-process cognition? Adjoint and representable functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018, 2018, cognitivesciencesociety.org, 978-0-9911967-8-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Hua Fan 0002, Wojciech M. Golab |
Scalable Transaction Processing Using Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 38th IEEE International Conference on Distributed Computing Systems, ICDCS 2018, Vienna, Austria, July 2-6, 2018, pp. 1004-1016, 2018, IEEE Computer Society, 978-1-5386-6871-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Jan Bracker |
Unified notions of generalised monads and applicative functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
19 | Anna Labella, Rocco De Nicola |
Initial Algebra for a System of Right-Linear Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 23(1), pp. 191-201, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Matthew Harrison-Trainor, Alexander G. Melnikov, Russell G. Miller, Antonio Montalbán |
Computable Functors and Effective interpretability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 82(1), pp. 77-97, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Wieslaw Kubis, Dragan Masulovic |
Katětov Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(4), pp. 569-602, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Francesco Genovese |
Adjunctions of Quasi-Functors Between DG-Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(4), pp. 625-657, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Hideto Asashiba |
A Generalization of Gabriel's Galois Covering Functors II: 2-Categorical Cohen-Montgomery Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(2), pp. 155-186, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Milius |
Proper Functors and their Rational Fixed Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.09198, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
19 | Salil Samant, Shiv Dutt Joshi |
Unified Functorial Signal Representation III: Foundations, Redundancy, L0 and L2 functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.10227, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
19 | Jirí Adámek, Stefan Milius |
On Corecursive Algebras for Functors Preserving Coproducts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.07574, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
19 | Maria Manuel Clementino, Dirk Hofmann |
The rise and fall of V-functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 321, pp. 29-49, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Hongliang Lai, Lili Shen |
Fixed points of adjoint functors enriched in a quantaloid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 321, pp. 1-28, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel |
Operations on Bounded Natural Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2017, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
19 | Jeremy Gibbons |
APLicative Programming with Naperian Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 556-583, 2017, Springer, 978-3-662-54433-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Michel Nguiffo Boyom, Ahmed Zeglaoui |
Amari Functors and Dynamics in Gauge Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GSI ![In: Geometric Science of Information - Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings, pp. 170-178, 2017, Springer, 978-3-319-68444-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Tarmo Uustalu |
Container Combinatorics: Monads and Lax Monoidal Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTCS ![In: Topics in Theoretical Computer Science - Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings, pp. 91-105, 2017, Springer, 978-3-319-68952-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Milius |
Proper Functors and their Rational Fixed Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 18:1-18:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Jirí Adámek, Stefan Milius |
On Corecursive Algebras for Functors Preserving Coproducts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 3:1-3:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Henning Basold, Damien Pous, Jurriaan Rot |
Monoidal Company for Accessible Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 5:1-5:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Jirí Adámek, Václav Koubek, Thorsten Palm |
Fixed Points of Set Functors: How Many Iterations are Needed? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 24(5), pp. 649-661, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Nouf AlYamani, N. D. Gilbert, E. C. Miller |
Fibrations of Ordered Groupoids and the Factorization of Ordered Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 24(2), pp. 121-146, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Alex Martsinkovsky |
On Direct Summands of Homological Functors on Length Categories - In memory of Hans-Bjørn Foxby. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 24(4), pp. 421-431, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Hongliang Lai, Lili Shen |
Fixed points of adjoint functors enriched in a quantaloid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.00239, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
19 | Lorna Gregory, Mike Prest |
Representation embeddings, interpretation functors and controlled wild algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 94(3), pp. 747-766, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Jirí Adámek |
Fixed Points of Functors - A Short Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers, pp. 1-4, 2016, Springer, 978-3-319-40369-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | David Sprunger |
A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers, pp. 156-173, 2016, Springer, 978-3-319-40369-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Jeremy Gibbons |
APLicative programming with Naperian functors (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TyDe@ICFP ![In: Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016, pp. 13-14, 2016, ACM, 978-1-4503-4435-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Andreas Lochbihler, Joshua Schneider 0001 |
Equational Reasoning with Applicative Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings, pp. 252-273, 2016, Springer, 978-3-319-43143-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Josef Ruppenhofer, Jasper Brandes |
Effect Functors for Opinion Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, Portorož, Slovenia, May 23-28, 2016., 2016, European Language Resources Association (ELRA). The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
19 | Mauricio Velasco |
Linearization Functors on Real Convex Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 25(1), pp. 1-27, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Jirí Adámek, Paul Blain Levy, Stefan Milius, Lawrence S. Moss, Lurdes Sousa |
On Final Coalgebras of Power-Set Functors and Saturated Trees - To George Janelidze on the Occasion of His Sixtieth Birthday. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 23(4), pp. 609-641, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Václav Koubek, Vera Trnková |
Set Functors and Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 23(3), pp. 337-363, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | A. Bruguières, Sebastian Burciu |
On Normal Tensor Functors and Coset Decompositions for Fusion Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 23(4), pp. 591-608, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Jirí Adámek, Stefan Milius, Lawrence S. Moss, Henning Urbat |
On finitary functors and their presentations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 81(5), pp. 813-833, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Johannes Marti, Yde Venema |
Lax extensions of coalgebra functors and their logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 81(5), pp. 880-900, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Richard Garner, Tom Hirschowitz |
Shapely monads and analytic functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.05980, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
19 | Jan Foniok, Claude Tardif |
Digraph functors which admit both left and right adjoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 338(4), pp. 527-535, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Maria Maximova, Hartmut Ehrig, Claudia Ermel |
Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 104, pp. 44-70, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Dan Piponi, Brent A. Yorgey |
Polynomial Functors Constrained by Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, pp. 113-136, 2015, Springer, 978-3-319-19796-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Paul-André Melliès, Noam Zeilberger |
Functors are Type Refinement Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015, pp. 3-16, 2015, ACM, 978-1-4503-3300-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Adriana Balan, Alexander Kurz 0001, Jirí Velebil |
Extensions of Functors From Set to V-cat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 17-34, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You |
Modular reifiable matching: a list-of-functors approach to two-level types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 82-93, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Stephen Lack |
Morita Contexts as Lax Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 22(2), pp. 311-330, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Themba Dube, Oghenetega Ighedo |
Two Functors Induced by Certain Ideals of Function Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 22(4), pp. 663-681, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Marcelo P. Fiore |
Analytic functors between presheaf categories over groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 546, pp. 120-131, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Paolo Capriotti, Ambrus Kaposi |
Free Applicative Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014., pp. 2-30, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Pierre Hyvernat |
A Linear Category of Polynomial Functors (extensional part). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 10(2), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Jirí Mockor |
Isomorphisms and functors of fuzzy sets and cut systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 18(7), pp. 1237-1245, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Sebastian Burciu |
New examples of the Green functors arising from representation theory of semisimple Hopf algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 89(1), pp. 97-113, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Wouter Pieter Stekelenburg |
Regular functors and relative realisability categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 23(5), pp. 1082-1110, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Bachuki Mesablishvili, Robert Wisbauer |
On Rational Pairings of Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 21(3), pp. 249-290, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Lili Shen, Dexue Zhang |
The concept lattice functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 54(1), pp. 166-183, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Maria Maximova, Hartmut Ehrig, Claudia Ermel |
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Jan Foniok, Claude Tardif |
Adjoint functors in graph theory ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.2215, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Jan Foniok, Claude Tardif |
Digraph functors which admit both left and right adjoints ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.2204, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Pierre Clairambault |
Strong functors and interleaving fixpoints in game semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 47(1), pp. 25-68, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Christopher French |
Functors from association schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 120(6), pp. 1141-1165, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Zach Weber |
Figures, Formulae, and Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visual Reasoning with Diagrams ![In: Visual Reasoning with Diagrams, pp. 153-170, 2013, Birkhäuser / Springer, 978-3-03-480599-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Shuhua Su, Qingguo Li, Huodi Chen |
Quantitative domains via fuzzy sets: Locally order preserving functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA/NAFIPS ![In: Joint IFSA World Congress and NAFIPS Annual Meeting, IFSA/NAFIPS 2013, Edmonton, Alberta, Canada, June 24-28, 2013, pp. 41-44, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Salah Al-Nofayee |
r-Costar Pair of Contravariant Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2012, pp. 481909:1-481909:8, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Maria Maximova, Hartmut Ehrig, Claudia Ermel |
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Joachim Kock |
Data types with symmetries and polynomial functors over groupoids ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1210.0828, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
19 | Johannes Marti, Yde Venema |
Lax Extensions of Coalgebra Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers, pp. 150-169, 2012, Springer, 978-3-642-32783-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Jirí Adámek, Stefan Milius, Lawrence S. Moss |
On Finitary Functors and Their Presentations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers, pp. 51-70, 2012, Springer, 978-3-642-32783-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Ross Paterson |
Constructing Applicative Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings, pp. 300-323, 2012, Springer, 978-3-642-31112-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Marcelo P. Fiore |
Discrete Generalised Polynomial Functors - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II, pp. 214-226, 2012, Springer, 978-3-642-31584-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Tamás Mihálydeák |
Partial First-order Logic with Approximative Functors Based on Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology - 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings, pp. 514-523, 2012, Springer, 978-3-642-31899-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|