%% This BibTeX bibliography file was created using BibDesk.
%% https://bibdesk.sourceforge.io/

%% Created for Jeremy Dubut at 2023-05-16 13:23:11 +0900 


%% Saved with string encoding Unicode (UTF-8) 



@book{Skorniakov64,
	author = {Skorni͡akov, Lev Anatolʹevich},
	date-added = {2023-05-16 13:23:09 +0900},
	date-modified = {2023-05-16 13:23:09 +0900},
	publisher = {Oliver \& Boyd},
	title = {Complemented modular lattices and regular rings},
	year = {1964}}

@inproceedings{yamada23,
	author = {Akihisa Yamada and J\'{e}r\'{e}my Dubut},
	booktitle = {Proceedings of the fourteenth conference on Interactive Theorem Proving (ITP'23)},
	date-added = {2023-05-15 11:48:50 +0900},
	date-modified = {2023-05-15 11:48:50 +0900},
	title = {{F}ormalizing {R}esults on {D}irected {S}ets in {I}sabelle/{HOL}},
	year = {2023}}

@article{PaulsonG96,
	author = {Lawrence C. Paulson and Krzysztof Grabczewski},
	date-added = {2023-05-15 11:48:16 +0900},
	date-modified = {2023-05-15 11:48:16 +0900},
	doi = {10.1007/BF00283132},
	journal = {J. Autom. Reason.},
	number = {3},
	pages = {291--323},
	title = {Mechanizing Set Theory},
	volume = {17},
	year = {1996},
	bdsk-url-1 = {https://doi.org/10.1007/BF00283132}}

@article{MizerOrdinal,
	author = {Grzegorz Bancerek},
	date-added = {2023-05-15 11:48:09 +0900},
	date-modified = {2023-05-15 11:48:09 +0900},
	journal = {Journal of Formalized Mathematics},
	title = {The Ordinal Numbers},
	volume = 1,
	year = 1989}

@inproceedings{CardIsa,
	author = {Jasmin Christian Blanchette and Andrei Popescu and Dmitriy Traytel},
	booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
	date-added = {2023-05-15 11:47:58 +0900},
	date-modified = {2023-05-15 11:47:58 +0900},
	doi = {10.1007/978-3-319-08970-6\_8},
	editor = {Gerwin Klein and Ruben Gamboa},
	pages = {111--127},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Cardinals in {I}sabelle/{HOL}},
	volume = {8558},
	year = {2014},
	bdsk-url-1 = {https://doi.org/10.1007/978-3-319-08970-6%5C_8}}

@inproceedings{iwamura,
	author = {Tsurane Iwamura},
	booktitle = {Zenkoku Shijo Sugaku Danwakai},
	date-added = {2023-05-15 11:47:53 +0900},
	date-modified = {2023-05-15 11:47:53 +0900},
	note = {in Japanese},
	number = {262},
	pages = {107-111},
	title = {A lemma on directed sets},
	year = 1944}

@article{markowsky76,
	author = {George Markowsky},
	date-added = {2023-05-15 11:47:45 +0900},
	date-modified = {2023-05-15 11:47:45 +0900},
	journal = {Algebra Universalis},
	pages = {53--68},
	title = {Chain{-}complete posets and directed sets with applications},
	volume = {6},
	year = {1976}}

@book{Cohn65,
	author = {Paul M. Cohn},
	date-added = {2023-05-15 11:47:39 +0900},
	date-modified = {2023-05-15 11:47:39 +0900},
	publisher = {Harper \& Row},
	title = {Universal Algebra},
	year = 1965}

@inproceedings{finkel09,
	address = {Dagstuhl, Germany},
	author = {Alain Finkel and Jean Goubault-Larrecq},
	booktitle = {26th International Symposium on Theoretical Aspects of Computer Science},
	date-added = {2023-05-15 11:47:32 +0900},
	date-modified = {2023-05-15 11:47:32 +0900},
	doi = {10.4230/LIPIcs.STACS.2009.1844},
	editor = {Susanne Albers and Jean-Yves Marion},
	pages = {433--444},
	publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
	series = {Leibniz International Proceedings in Informatics (LIPIcs)},
	title = {{Forward Analysis for WSTS, Part I: Completions}},
	volume = {3},
	year = {2009},
	bdsk-url-1 = {https://doi.org/10.4230/LIPIcs.STACS.2009.1844}}

@book{winskel93,
	author = {Glynn Winskel},
	date-added = {2023-05-15 11:47:23 +0900},
	date-modified = {2023-05-15 11:47:23 +0900},
	publisher = {The MIT Press},
	series = {Foundations of Computing},
	title = {{The Formal Semantics of Programming Languages: An Introduction}},
	year = {1993}}

@techreport{scott70,
	author = {Dana Scott},
	date-added = {2023-05-15 11:47:19 +0900},
	date-modified = {2023-05-15 11:47:19 +0900},
	institution = {OUCL},
	number = {PRG02},
	title = {{Outline of a Mathematical Theory of Computation}},
	year = {1970}}

@article{DubutY22,
	author = {J{\'{e}}r{\'{e}}my Dubut and Akihisa Yamada},
	date-added = {2023-05-15 11:47:09 +0900},
	date-modified = {2023-05-15 11:47:09 +0900},
	doi = {10.46298/lmcs-18(1:30)2022},
	journal = {Log.\@ Methods Comput.\@ Sci.},
	number = {1},
	title = {Fixed Point Theorems for Non-Transitive Relations},
	url = {https://doi.org/10.46298/lmcs-18(1:30)2022},
	volume = {18},
	year = {2022},
	bdsk-url-1 = {https://doi.org/10.46298/lmcs-18(1:30)2022}}

@book{abramski94,
	author = {Samson Abramsky and Achim Jung},
	date-added = {2023-05-15 11:47:02 +0900},
	date-modified = {2023-05-15 11:47:02 +0900},
	number = {III},
	publisher = {Oxford University Press},
	series = {Handbook of Logic in Computer Science},
	title = {Domain Theory},
	year = {1994}}

@book{goubault13,
	author = {Goubault-Larrecq, Jean},
	date-added = {2023-05-15 11:46:46 +0900},
	date-modified = {2023-05-15 11:46:46 +0900},
	doi = {10.1017/CBO9781139524438},
	publisher = {Cambridge University Press},
	series = {New Mathematical Monographs},
	title = {{Non-Hausdorff Topology and Domain Theory: Selected Topics in Point-Set Topology}},
	volume = {22},
	year = {2013},
	bdsk-url-1 = {https://doi.org/10.1017/CBO9781139524438}}
