Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
98 | Manuela Sobral |
Descent for Discrete (Co)fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(5-6), pp. 527-535, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
descent data, (effective) descent morphisms, (co)fibrations, discrete (co)fibrations, lax epimorphisms |
91 | Peter T. Johnstone |
Fibrations and partial products in a 2-category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 1(2), pp. 141-179, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
partial product, Fibration, 2-category |
69 | Claudio Hermida |
Descent on 2-Fibrations and Strongly 2-Regular 2-Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(5-6), pp. 427-459, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
2-fibration, effective descent, essentially-surjective-on-objects, pseudo-monadicity |
51 | John Power, Edmund Robinson |
Logical relations, data abstraction, and structured fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, Montreal, Canada, September 20-23, 2000, pp. 15-23, 2000, ACM, 1-58113-265-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
cartesian closed fibrations, linear ?-calculus, interpretations, ?-calculus, logical relations |
50 | Talip Can Termen, Ozgur Ege |
Digital h-Fibrations and Some New Results on Digital Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 13(3), pp. 180, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
47 | Ulrich Fahrenberg |
A Category of Higher-Dimensional Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 187-201, 2005, Springer, 3-540-25388-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Higher-dimensional automata, open maps, directed topology, bisimulation, fibrations |
47 | Brian P. Dunphy, Uday S. Reddy |
Parametric Limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pp. 242-251, 2004, IEEE Computer Society, 0-7695-2192-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Parametric polymorphism, Relational Parametricity, Categorical models, Fibrations |
47 | John Power, Edmund Robinson |
Logical Relations and Data Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 497-511, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
cartesian closed fibrations, interpretations, lambda calculus, logical relations |
47 | Ronald D. Baker, Gary L. Ebert, Tim Penttila |
Hyperbolic Fibrations and q-Clans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 34(2-3), pp. 295-305, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Maria Emilia Maietti, Valeria de Paiva, Eike Ritter |
Categorical Models for Intuitionistic and Linear Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 223-237, 2000, Springer, 3-540-67257-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Razvan Diaconescu |
Grothendieck Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(4), pp. 383-402, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
indexed categories, Grothendieck construction, algebraic specification, institutions, fibrations |
26 | Paolo Boldi, Sebastiano Vigna |
Universal dynamic synchronous self-stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 15(3), pp. 137-153, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Graph fibrations, Self-stabilization, Synchronous systems, Anonymous networks |
26 | Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely |
A Hyperdoctrinal View of Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 457-476, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
hyperdoctrines, constraint programs, asynchronous systems, closure operators, fibrations |
25 | Jonathan Gorard |
Applied Category Theory in the Wolfram Language using Categorica I: Diagrams, Functors and Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.16269, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Filippo Bonchi, Barbara König 0001, Daniela Petrisan |
Up-to techniques for behavioural metrics via fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 33(4-5), pp. 182-221, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Alejandro Aguirre 0001, Shin-ya Katsumata, Satoshi Kura 0001 |
Weakest preconditions in fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 32(4), pp. 472-510, April 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Fernando Abellán García, Walker H. Stern |
2-Cartesian Fibrations I: A Model for ∞-Bicategories Fibred in ∞-Bicategories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 30(6), pp. 1341-1392, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Jonathan Weinberger |
Two-sided cartesian fibrations of synthetic (∞, 1)-categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.00938, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini |
A characterisation of elementary fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 173(6), pp. 103103, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Andrea Guidolin, Ana Romero 0001 |
Computing Higher Leray-Serre Spectral Sequences of Towers of Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 21(4), pp. 1023-1074, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini |
Elementary fibrations of enriched groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(9), pp. 958-978, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Miguel, Andrea Guidolin, Ana Romero 0001, Julio Rubio 0001 |
Constructing new spectral systems from simplicial fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 55(3), pp. 87-91, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Anson Bastos, Kuldeep Singh 0001, Abhishek Nadgeri, Saeedeh Shekarpour, Isaiah Onando Mulang', Johannes Hoffart |
HopfE: Knowledge Graph Representation Learning using Inverse Hopf Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.05774, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | Anson Bastos, Kuldeep Singh 0001, Abhishek Nadgeri, Saeedeh Shekarpour, Isaiah Onando Mulang', Johannes Hoffart |
HopfE: Knowledge Graph Representation Learning using Inverse Hopf Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1 - 5, 2021, pp. 89-99, 2021, ACM, 978-1-4503-8446-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Susmit Bagchi |
Topological Analysis of Fibrations in Multidimensional (C, R) Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 12(12), pp. 2049, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Benno van den Berg, Eric Faber |
Effective Kan fibrations in simplicial sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.12670, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Alejandro Aguirre 0001, Shin-ya Katsumata |
Weakest Preconditions in Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020, pp. 5-27, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Bert Jüttler, Sofia Maroscheck, Myung-Soo Kim, Q. Youn Hong |
Arc fibrations of planar domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Geom. Des. ![In: Comput. Aided Geom. Des. 71, pp. 105-118, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Ana Romero 0001, Julio Rubio 0001, Francis Sergeraert |
An implementation of effective homotopy of fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 94, pp. 149-172, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Henning Basold |
Coinduction in Flow: The Later Modality in Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 8:1-8:22, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Damiano Mazza, Luc Pellissier, Pierre Vial |
Polyadic approximations, fibrations and intersection types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(POPL), pp. 6:1-6:28, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Pierre-Alain Jacqmin, Sandra Mantovani, Giuseppe Metere, Enrico M. Vitale |
On Fibrations Between Internal Groupoids and Their Normalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(5), pp. 1015-1039, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Henning Basold |
Breaking the Loop: Recursive Proofs for Coinductive Predicates in Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.07143, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Filippo Bonchi, Barbara König 0001, Daniela Petrisan |
Up-To Techniques for Behavioural Metrics via Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.11064, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Igor Krylov |
Birational geometry of del Pezzo fibrations with terminal quotient singularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 97(2), pp. 222-246, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Filippo Bonchi, Barbara König 0001, Daniela Petrisan |
Up-To Techniques for Behavioural Metrics via Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, pp. 17:1-17:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-087-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Edouard Balzin |
Derived Sections of Grothendieck Fibrations and the Problems of Homotopical Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(5), pp. 917-963, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Ruggero Pagnan |
Concrete Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 58(2), pp. 179-204, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Decheng Miao, Jianqing Xi, Xinsheng Liu, Jindian Su |
Fibrations理论在索引归纳数据类型不确定语义中的应用 (Applications of Fibrations Theory to Uncertainty Semantic Computation for Indexed Inductive Data Types). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 44(7), pp. 137-140, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Decheng Miao, Jianqing Xi, Yubin Guo, Deyou Tang |
Inductive Data Types Based on Fibrations Theory in Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Technol. ![In: J. Comput. Inf. Technol. 24(1), pp. 1-16, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
25 | 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 |
|
25 | Decheng Miao, Jianqing Xi, Jingguo Dai, Jindian Su |
程序语言中共归纳数据类型的一种fibrations方法 (Fibrations Method of Co-inductive Data Types in Programming). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 43(3), pp. 188-192, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Fei Hu, JongHae Keum, De-Qi Zhang |
Criteria for the existence of equivariant fibrations on algebraic surfaces and hyperkähler manifolds and equality of automorphisms up to powers: a dynamical viewpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 92(3), pp. 724-735, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Colin Riba |
Fibrations of Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 302-316, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Michael Johnson, Robert D. Rosebrugh, Richard J. Wood |
Lenses, fibrations and universal translations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 22(1), pp. 25-42, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Ana Romero 0001, Francis Sergeraert |
Effective homotopy of fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 23(1-2), pp. 85-100, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | José Ignacio Iglesias Curto, J. M. Muñoz Porras, Francisco J. Plaza Martín, G. Serrano Sotelo |
Convolutional Goppa codes defined on fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 23(3-4), pp. 165-178, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Hamid Ahmadinezhad |
On del Pezzo fibrations that are not birationally rigid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 86(1), pp. 36-62, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Tibor Beke |
Fibrations of Simplicial Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 18(5), pp. 505-516, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | José Ignacio Iglesias Curto, J. M. Muñoz Porras, Francisco J. Plaza Martín, G. Serrano Sotelo |
Convolutional Goppa codes defined on fibrations ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1012.4905, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
25 | Matthew R. Brown, Gary L. Ebert, Deirdre Luyckx |
On the geometry of regular hyperbolic fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 28(6), pp. 1626-1636, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Michael Johnson, Robert D. Rosebrugh |
Fibrations and universal view updatability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 388(1-3), pp. 109-129, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | András I. Stipsicz, Zoltán Szabó, Ágnes Szilárd |
Singular Fibers in Elliptic Fibrations on the Rational Elliptic Surface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 54(2), pp. 137-162, June 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Deirdre Luyckx |
A Geometric Construction of the Hyperbolic Fibrations Associated with a Flock, q Even. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 39(2), pp. 281-288, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
51E23, AMS Classification 51E20 |
25 | Paolo Boldi, Violetta Lonati, Massimo Santini 0001, Sebastiano Vigna |
Graph fibrations, graph isomorphism, and PageRank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 40(2), pp. 227-253, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Rui Pacheco |
Twistor fibrations giving primitive harmonic maps of finite type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2005(20), pp. 3199-3212, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Hamidou Dathe, Philippe Rukimbira |
Fibrations and contact structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2005(4), pp. 555-560, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Claudio Hermida, Paulo Mateus |
Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 311(1-3), pp. 71-103, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Toshihiro Yamaguchi |
On the genus of free loop fibrations over F0-spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2004(66), pp. 3617-3619, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | François Lamarche |
Multiplicative Linear Logics and Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 227-247, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Jesse Hughes, Bart Jacobs 0001 |
Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002, pp. 156-182, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Boldi, Sebastiano Vigna |
Fibrations of graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 243(1-3), pp. 21-66, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Ronald D. Baker, Jeremy M. Dover, Gary L. Ebert, Kenneth L. Wantz |
Hyperbolic Fibrations of PG(3, q). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 20(1), pp. 1-16, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Paolo Boldi, Sebastiano Vigna |
Good Fibrations and Other Construction Which Preserve Sense of Direction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIROCCO ![In: SIROCCO'96, The 3rd International Colloquium on Structural Information & Communication Complexity, Siena, Italy, June 6-8, 1996, pp. 47-58, 1996, Carleton Scientific. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
25 | Claudio Hermida, Bart Jacobs 0001 |
Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 5(4), pp. 501-531, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Richard Mijoule |
Fibrations and Recursivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 29(3), pp. 193-208, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Claudio Hermida |
Fibrations, logical predicates and indeterminates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
25 | Eugene W. Stark |
Dataflow Networks are Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Category Theory and Computer Science ![In: Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings, pp. 261-281, 1991, Springer, 3-540-54495-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | William C. Hoffman |
Some Reasons Why Algebraic Topology is Important in Neuropsychology: Perceptual and Cognitive Systems as Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Man Mach. Stud. ![In: Int. J. Man Mach. Stud. 22(6), pp. 613-650, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
25 | Sara Hurvitz |
הגזע של מרחבים ושל סיכויים (The genus of spaces and fibrations.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1977 |
RDF |
|
22 | Steven Awodey, Florian Rabe 0001 |
Kripke Semantics for Martin-Löf's Extensional Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 249-263, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Mark Weber |
Yoneda Structures from 2-toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(3), pp. 259-323, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A05, 18A15, 18B25, 18D05 |
22 | George Boiadjiev, Daniela Vassileva, Haruhisa Kawasaki, Tetsuya Mouri |
Sensibility Control of Redundant Robots: Position Control by Image Trajectories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIMCA/IAWTIC ![In: 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Australia, pp. 267, 2006, IEEE Computer Society, 0-7695-2731-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Robert M. Colomb, Christopher N. G. Dampney, Michael Johnson |
Category-theoretic fibration as an abstraction mechanism in information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 38(1), pp. 1-44, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|