Search results for "Presheaf"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
149	Gian Luca Cattani, Glynn Winskel	Presheaf Models for Concurrency.	CSL	1996	DBLP DOI BibTeX RDF
109	Glynn Winskel	A Presheaf Semantics of Value-Passing Processes.	CONCUR	1996	DBLP DOI BibTeX RDF
81	John Power, Miki Tanaka	Binding Signatures for Generic Contexts.	TLCA	2005	DBLP DOI BibTeX RDF
61	Glynn Winskel	A Linear Metalanguage for Concurrency.	AMAST	1998	DBLP DOI BibTeX RDF
51	Steven Vickers, Gillian Hill	Presheaves as Configured Specifications.	Formal Aspects Comput.	2001	DBLP DOI BibTeX RDF	Colimit, Presheaf, Specification, Configuration, Diagram, Category
40	Jirí Adámek, Stefan Milius, Jirí Velebil	Semantics of Higher-Order Recursion Schemes.	CALCO	2009	DBLP DOI BibTeX RDF	infinite ?-terms, sets in context, rational tree, Higher-order recursion schemes
40	Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci	A Category of Explicit Fusions.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
40	Miki Tanaka	Abstract Syntax and Variable Binding for Linear Binders.	MFCS	2000	DBLP DOI BibTeX RDF
31	Fabio Gadducci, Marino Miculan, Ugo Montanari	About permutation algebras, (pre)sheaves and named sets.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Nominal calculi, Permutation algebras, Presheaf categories, Named sets
31	Marino Miculan, Ivan Scagnetto	A framework for typed HOAS and semantics.	PPDP	2003	DBLP DOI BibTeX RDF	categorical metamodels, metalanguages for syntax and semantics of languages, presheaf categories, typed abstract syntax with variable binding, initial algebra semantics
28	Takeshi Tsukada, Kazuyuki Asada	Enriched Presheaf Model of Quantum FPC.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
28	Simon Henry, Christopher Townsend	Compact Hausdorff Locales in Presheaf Toposes.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
28	Gao Zhang, Shao-Qun Zhang	On Discrete Presheaf Monads.	Axioms	2023	DBLP DOI BibTeX RDF
28	Younesse Kaddar, Sam Staton	A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories.	MFPS	2023	DBLP DOI BibTeX RDF
28	Takeshi Tsukada, Kazuyuki Asada	Enriched Presheaf Model of Quantum FPC.	CoRR	2023	DBLP DOI BibTeX RDF
28	Samson Abramsky	Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence.	CoRR	2022	DBLP DOI BibTeX RDF
28	Fabio Gadducci, Davide Trotta	A Presheaf Semantics for Quantified Temporal Logics.	WADT	2022	DBLP DOI BibTeX RDF
28	Fabio Gadducci, Davide Trotta	A Presheaf Semantics for Quantified Temporal Logics.	CoRR	2021	DBLP BibTeX RDF
28	Rafaël Bocquet, Ambrus Kaposi, Christian Sattler	Induction principles for type theories, internally to presheaf categories.	CoRR	2021	DBLP BibTeX RDF
28	Harsh Beohar, Sebastian Küpper	Bisimulation Maps in Presheaf Categories.	MFPS	2019	DBLP DOI BibTeX RDF
28	Harsh Beohar, Sebastian Küpper	Bisimulation maps in presheaf categories.	CoRR	2019	DBLP BibTeX RDF
28	Thierry Coquand	A survey of constructive presheaf models of univalence.	ACM SIGLOG News	2018	DBLP DOI BibTeX RDF
28	Mark Bickford	Formalizing Category Theory and Presheaf Models of Type Theory in Nuprl.	CoRR	2018	DBLP BibTeX RDF
28	Andreas Nuyts	Presheaf Models of Relational Modalities in Dependent Type Theory.	CoRR	2018	DBLP BibTeX RDF
28	Harald König, Uwe Wolter	Being Van Kampen in Presheaf Topoi is a Uniqueness Property.	CALCO	2017	DBLP DOI BibTeX RDF
28	Paul-André Melliès, Noam Zeilberger	A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine.	CoRR	2016	DBLP BibTeX RDF
28	Paul-André Melliès, Noam Zeilberger	A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine.	LICS	2016	DBLP DOI BibTeX RDF
28	Kevin Dunne	A New Perspective on Observables in the Category of Relations: A Spectral Presheaf for Relations.	QI	2016	DBLP DOI BibTeX RDF
28	Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin	A Presheaf Model of Parametric Type Theory.	MFPS	2015	DBLP DOI BibTeX RDF
28	Marcelo P. Fiore	Analytic functors between presheaf categories over groupoids.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
28	Octavio Malherbe, Philip J. Scott, Peter Selinger	Presheaf Models of Quantum Computation: An Outline.	Computation, Logic, Games, and Quantum Foundations	2013	DBLP DOI BibTeX RDF
28	Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci	A Presheaf Environment for the Explicit Fusion Calculus.	J. Autom. Reason.	2012	DBLP DOI BibTeX RDF
28	Ales Pultr, Stephen Ernest Rodabaugh	Category theoretic aspects of chain-valued frames: Part I: Categorical and presheaf theoretic foundations.	Fuzzy Sets Syst.	2008	DBLP DOI BibTeX RDF
28	Nicola Gambino	Presheaf models for Constructive Set Theories.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
28	Tibor Beke	Theories of presheaf type.	J. Symb. Log.	2004	DBLP DOI BibTeX RDF
28	Thomas T. Hildebrandt	Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
28	Gian Luca Cattani, Glynn Winskel	Presheaf models for CCS-like languages.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
28	Thomas T. Hildebrandt	A Fully abstract presheaf semantics for SCCS with finite delay.	CTCS	1999	DBLP DOI BibTeX RDF
28	Gian Luca Cattani, Ian Stark, Glynn Winskel	Presheaf Models for the pi-Calculus.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
28	Silvio Ghilardi	Presheaf semantics and independence results for some non-classical first-order logics.	Arch. Math. Log.	1989	DBLP DOI BibTeX RDF
20	Makoto Hamana	Initial Algebra Semantics for Cyclic Sharing Structures.	TLCA	2009	DBLP DOI BibTeX RDF
20	S. N. Hosseini, S. Sh. Mousavi	A Relation Between Closure Operators on a Small Category and Its Category of Presheaves.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	AMS Subject Classification Codes 18A32, 18F10
20	Makoto Hamana	An initial algebra approach to term rewriting systems with variable binders.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Abstract syntax with variable binding, Term rewriting systems, Higher-order abstract syntax, Initial algebra semantics
20	Jirí Adámek	Algebra 'cap' Coalgebra = Presheaves.	CALCO	2005	DBLP DOI BibTeX RDF
20	Makoto Hamana	Free S-Monoids: A Higher-Order Syntax with Metavariables.	APLAS	2004	DBLP DOI BibTeX RDF
20	S. J. Ambler, Roy L. Crole, Alberto Momigliano	A definitional approach to primitivexs recursion over higher order abstract syntax.	MERLIN	2003	DBLP DOI BibTeX RDF	Isabelle HOL, topos theory, ?-calculus, higher order abstract syntax, primitive recursion, initial algebras
20	Makoto Hamana	Term rewriting with variable binding: an initial algebra approach.	PPDP	2003	DBLP DOI BibTeX RDF	abstract syntax with variable binding, monadic semantics of term rewriting systems, term rewriting systems, higher-order abstract syntax, initial algebra semantics
20	Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel	Weak Bisimulation and Open Maps.	LICS	1999	DBLP DOI BibTeX RDF	semantics, Concurrency, denotational semantics, categorical models
20	Mogens Nielsen, Allan Cheng	Obseving Behaviour Categorically.	FSTTCS	1995	DBLP DOI BibTeX RDF
20	Chris Tuijn, Marc Gyssens	Views and Decompositions of Databases from a Categorical Perspective.	ICDT	1992	DBLP DOI BibTeX RDF