Search results for "dcpo"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	Vladimir Sazonov	On Natural Non-dcpo Domains.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
49	Seong-Ook Jung, Ki-Wook Kim, Sung-Mo Kang	Low-swing clock domino logic incorporating dual supply and dual threshold voltages.	DAC	2002	DBLP DOI BibTeX RDF	low swing clock, low power, domino logic, dual supply voltage, dual threshold voltage
33	Pawel Waszkiewicz	Quantitative Continuous Domains.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	partial metric, algebraic dcpo, quantitative domain theory, measurement, domain
33	Ralph Kummetz	Function Spaces of Posets with Projections.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	poset with projections, pop uniformity, pop technology, pop homomorphism, dcpo, model for the untyped -calculus, Cartesian closed category
31	Yuxu Chen, Hui Kou, Zhenchao Lyu, Xiaolin Xie	A construction of free dcpo-cones.	Math. Struct. Comput. Sci.	2024	DBLP DOI BibTeX RDF
31	Yuxu Chen, Hui Kou, Zhenchao Lyu	Free dcpo-algebras via directed spaces.	CoRR	2023	DBLP DOI BibTeX RDF
31	Dag Normann	The sequential functionals of type (ι→ι)n→ι form a dcpo for all n ∈ N.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
31	Kok Min Ng, Weng Kin Ho	Yoneda Completion via a DCPO Completion of its Poset of Formal Balls.	ISDT	2017	DBLP DOI BibTeX RDF
31	Xiaoyong Xi, Dongsheng Zhao	Well-filtered spaces and their dcpo models.	Math. Struct. Comput. Sci.	2017	DBLP DOI BibTeX RDF
31	Vladimir Sazonov	On naturally continuous non-dcpo domains.	Math. Struct. Comput. Sci.	2017	DBLP DOI BibTeX RDF
31	Fritz Müller 0001	From Sazonov's Non-Dcpo Natural Domains to Closed Directed-Lub Partial Orders.	CoRR	2016	DBLP BibTeX RDF
31	Dag Normann	The sequential functionals of type (ι→ι)n → ι form a dcpo for all n ∈ ℕ.	CoRR	2016	DBLP BibTeX RDF
31	Ingo Battenfeld	Comparing approaches to free dcpo-algebra constructions.	J. Log. Algebraic Methods Program.	2013	DBLP DOI BibTeX RDF
31	Eva Colebunders, Stefan De Wachter, Robert Lowen	Fixed points of contractive maps on dcpo's.	Math. Struct. Comput. Sci.	2013	DBLP DOI BibTeX RDF
31	Dongsheng Zhao, Xiaoyong Xi	Dcpo models of T1 spaces.	TACL	2013	DBLP DOI BibTeX RDF
31	Christopher F. Townsend	The Patch Construction is Dual to Algebraic DCPO Representation.	Appl. Categorical Struct.	2011	DBLP DOI BibTeX RDF
31	Mai Gehrke, Jacob Vosmaer	Canonical extensions and canonicity via dcpo presentations.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
31	Dongsheng Zhao, Taihe Fan	Dcpo-completion of posets.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
31	Mai Gehrke, Jacob Vosmaer	Canonical extension and canonicity via DCPO presentations	CoRR	2009	DBLP BibTeX RDF
31	Vladimir Sazonov	Natural non-dcpo domains and f-spaces.	Ann. Pure Appl. Log.	2009	DBLP DOI BibTeX RDF
31	Achim Jung, M. Andrew Moshier, Steven J. Vickers	Presenting Dcpos and Dcpo Algebras.	MFPS	2008	DBLP DOI BibTeX RDF
31	Adrian Fiech	Colimits in the Category DCPO.	Math. Struct. Comput. Sci.	1996	DBLP DOI BibTeX RDF
25	Josée Desharnais, Vineet Gupta 0001, Radha Jagadeesan, Prakash Panangaden	Approximating Labeled Markov Processes.	LICS	2000	DBLP DOI BibTeX RDF
25	Michael Huth 0001	On the Approximation of Denotational Mu-Semantics.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	least/greatest pixed, recursion, points, partial orders, denotational semantics
25	Reinhold Heckmann	Probabilistic Domains.	CAAP	1994	DBLP DOI BibTeX RDF
25	Reinhold Heckmann	Probabilistic Power Domains, Information Systems, and Locales.	MFPS	1993	DBLP DOI BibTeX RDF