Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
87 | Zinovy Diskin |
On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 182-189, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
business domains, toposes, generalized sketch, predefined signature, visualization superstructures, business specifications, logical derivation, algebraic term rewriting, systems analysis, directed graphs, directed graph, business modeling, diagrams, diagrams, labels, predicate, corporate modelling, mathematical foundations |
77 | Steven Awodey, Andrej Bauer |
Sheaf toposes for realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(5), pp. 465-478, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03G30, 03D65 |
53 | Jonas Frey |
Triposes, q-toposes and toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 166(2), pp. 232-259, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
52 | Stephen Lack, Pawel Sobocinski 0001 |
Toposes Are Adhesive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 184-198, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Lutz Schröder |
The Logic of the Partial lambda-Calculus with Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 385-399, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Morgan Rogers |
Toposes of Topological Monoid Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 5, pp. 1, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Simon Henry, Christopher Townsend |
Compact Hausdorff Locales in Presheaf Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 31(6), pp. 45, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Victor Iwaniack |
Automata in toposes, and general Myhill-Nerode theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14855, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Jason Parker |
Covariant Isotropy of Grothendieck Toposes and Extensive Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 30(4), pp. 779-803, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Jetze Zoethout |
Computability Models and Realizability Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
26 | Jetze Zoethout |
On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(2), pp. 214-233, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Jens Hemelaer, Morgan Rogers |
Monoid Properties as Invariants of Toposes of Monoid Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 29(3), pp. 379-413, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Olivia Caramello, Riccardo Zanfa |
On the dependent product in toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 67(3), pp. 282-294, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Alexandre Goy 0002, Daniela Petrisan, Marc Aiguier |
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)., pp. 132:1-132:14, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-195-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Richard Garner |
Ultrafilters, finite coproducts and locally connected classifying toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 171(10), pp. 102831, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Edward Hermann Haeusler |
Finiteness and Computation in Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015., pp. 61-77, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Samuele Maschio, Thomas Streicher |
Models of intuitionistic set theory in subtoposes of nested realizability toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 166(6), pp. 729-739, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Jonas Frey |
Realizability Toposes from Specifications. ![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. 196-210, 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 |
|
26 | Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher |
Relating first-order set theories, toposes and categories of classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 165(2), pp. 428-502, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Peter T. Johnstone |
What do Freyd's Toposes Classify? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 7(3), pp. 335-340, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Olivia Caramello |
Atomic Toposes and Countable Categoricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 20(4), pp. 379-391, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Bas Spitters, Steven Vickers, Sander Wolters |
Gelfand spectra in Grothendieck toposes using geometric mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012., pp. 77-107, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Alex K. Simpson, Thomas Streicher |
Constructive toposes with countable sums as models of constructive set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 163(10), pp. 1419-1436, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Rory B. B. Lucyshyn-Wright |
Totally distributive categories and injective toposes ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1108.4032, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
26 | Steven Vickers |
Locales and Toposes as Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Spatial Logics ![In: Handbook of Spatial Logics, pp. 429-496, 2007, Springer, 978-1-4020-5586-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | 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 |
26 | Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher |
Relating First-order Set Theories and Elementary Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 13(3), pp. 340-358, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Luís A. Sbardellini, Marcelo E. Coniglio |
Some Results on Ordered Structures in Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 40, pp. 181-198, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
26 | Thomas Streicher |
Universes in Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From sets and types to topology and analysis ![In: From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics., 2005, Oxford University Press, 978-0-19-856651-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | Steven Awodey, Lars Birkedal, Dana S. Scott |
Local Realizability Toposes and a Modal Logic for Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 12(3), pp. 319-334, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Matías Menni |
More exact completions that are toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 116(1-3), pp. 187-203, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Ieke Moerdijk, Erik Palmgren |
Type theories, toposes and constructive set theory: predicative aspects of AST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 114(1-3), pp. 155-201, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Adam Obtulowicz |
Triangular Logic of Partial Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 10(2), pp. 173-212, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Leo Esakia, Mamuka Jibladze, Dito Pataraia |
Scattered Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 103(1-3), pp. 97-107, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Silvio Ghilardi, Marek W. Zawadowski |
From Bisimulation Quantifiers to Classifying Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 3, papers from the third conference on `Advances in Modal logic,` held in Leipzig, Germany, 4-7 October 2000, pp. 193-220, 2000, World Scientific, 981-238-179-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Steven Awodey, Lars Birkedal, Dana S. Scott |
Local Realizability Toposes and a Modal Logic for Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Realizability Semantics and Applications@FLoC ![In: Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999, pp. 13-26, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | James Worrell 0001 |
Toposes of Coalgebras and Hidden Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998, pp. 212-230, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Jean-Pierre Marquis |
Book Review: Colin McLarty. Elementary Categories, Elementary Toposes.. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 39(3), pp. 436-445, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Carsten Butz, Peter T. Johnstone |
Classifying Toposes for First-Order Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 91(1), pp. 33-58, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Gonzalo E. Reyes, Houman Zolfaghari |
Bi-Heyting algebras, toposes and modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 25(1), pp. 25-43, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | John R. Longley |
Realizability toposes and language semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
26 | J. M. E. Hyland, C.-H. Luke Ong |
Modified Realizability Toposes and Strong Normalization Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings, pp. 179-194, 1993, Springer, 3-540-56517-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Colin McLarty |
Elementary categories, elementary toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
26 | Yasuo Kawahara |
Pushout-Complements and Basic Concepts of Grammars in Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 77(3), pp. 267-289, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Pierre-Louis Curien, Adam Obtulowicz |
Partiality, Cartesian closedness and Toposes ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 80(1), pp. 50-95, January 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Wendy MacCaull |
On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 53(4), pp. 1177-1187, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
26 | John L. Bell |
Toposes and local set theories - an introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
26 | Colin McLarty |
Elementary Axioms for Canonical Points of Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 52(1), pp. 202-204, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Marek W. Zawadowski |
The Skolem-Löwenheim theorem in toposes. II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 44(1), pp. 25-38, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | John L. Bell |
Isomorphism of Structures in S-Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 46(3), pp. 449-459, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
25 | 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 |