export record
dblp key:
journals/corr/abs-2211-10626 share record
persistent URL:
Xiangping Chu , Qingguo Li : The d* -space. ISDT 2022 export record
dblp key:
journals/corr/abs-2211-10631 share record
persistent URL:
Huijun Hou , Qingguo Li : Weakly meet sZ -continuity and δZ -continuity. ISDT 2022 export record
dblp key:
journals/corr/abs-2211-10932 share record
persistent URL:
Min Liu , Yulin Li : Quantaloidal Completions of Order-enriched Categories and Their Applications. ISDT 2022 export record
dblp key:
journals/corr/abs-2211-11118 share record
persistent URL:
Masahito Hasegawa : The Internal Operads of Combinatory Algebras. MFPS 2022 export record
dblp key:
journals/corr/abs-2211-11897 share record
persistent URL:
Tomoya Yoshida : Continuous Functions on Final Comodels of Free Algebraic Theories. MFPS 2022 export record
dblp key:
journals/corr/abs-2211-12317 share record
persistent URL:
Xiaojun Ruan , Xiaoquan Xu : SI2 -quasicontinuous spaces. ISDT 2022 export record
dblp key:
journals/corr/abs-2211-12318 share record
persistent URL:
Jason Z. S. Hu , Brigitte Pientka : A Categorical Normalization Proof for the Modal Lambda-Calculus. MFPS 2022 export record
dblp key:
journals/corr/abs-2211-12392 share record
persistent URL:
Jean Goubault-Larrecq , Xiaodong Jia : Continuous R-valuations. ISDT 2022 export record
dblp key:
journals/corr/abs-2211-12629 share record
persistent URL:
Tao Gu , Robin Piedeleu , Fabio Zanasi : A Complete Diagrammatic Calculus for Boolean Satisfiability. MFPS 2022 export record
dblp key:
journals/corr/abs-2211-12734 share record
persistent URL:
Zhenchao Lyu , Xiaolin Xie , Hui Kou : A note on the category of c-spaces. ISDT 2022 export record
dblp key:
journals/corr/abs-2211-14707 share record
persistent URL:
Zhaorong He , Zhongqiang Yang , Dongsheng Zhao : Quasiexact posets and the moderate meet-continuity. ISDT 2022 export record
dblp key:
journals/corr/abs-2211-15922 share record
persistent URL:
Huarong Zhang , Dongsheng Zhao : The sheaf representation of residuated lattices. ISDT 2022 export record
dblp key:
journals/corr/abs-2211-16052 share record
persistent URL:
Anneliese Schauerte , John Frith : Partial frames, their free frames and their congruence frames. ISDT 2022 export record
dblp key:
journals/corr/abs-2211-16133 share record
persistent URL:
Chong Shen , Xiaoyong Xi , Dongsheng Zhao : Further studies on open well-filtered spaces. ISDT 2022 export record
dblp key:
journals/corr/abs-2211-17099 share record
persistent URL:
Guojun Wu , Luoshan Xu : Representations of Domains via CF-approximation Spaces. ISDT 2022 export record
dblp key:
journals/corr/abs-2212-04882 share record
persistent URL:
James Laird : Revisiting Decidable Bounded Quantification, via Dinaturality. MFPS 2022 export record
dblp key:
journals/corr/abs-2212-06321 share record
persistent URL:
Henry DeYoung , Frank Pfenning : Data Layout from a Type-Theoretic Perspective (extended version). MFPS 2022 export record
dblp key:
journals/corr/abs-2212-07015 share record
persistent URL:
Takahiro Sanada : Category-Graded Algebraic Theories and Effect Handlers. MFPS 2022 export record
dblp key:
journals/corr/abs-2212-07976 share record
persistent URL:
Hugo Paquet : Bi-invariance for Uniform Strategies on Event Structures. MFPS 2022 export record
dblp key:
journals/corr/abs-2212-08177 share record
persistent URL:
Willem Heijltjes : The Functional Machine Calculus. MFPS 2022 export record
dblp key:
journals/corr/abs-2212-08594 share record
persistent URL:
Mateusz Pyzik : Call-By-Name Is Just Call-By-Value with Delimited Control. MFPS 2022 export record
dblp key:
journals/corr/abs-2212-09060 share record
persistent URL:
Paul-André Melliès , Noam Zeilberger : Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem. MFPS 2022 export record
dblp key:
journals/corr/abs-2212-09191 share record
persistent URL:
Bart Jacobs : Sufficient Statistics and Split Idempotents in Discrete Probability Theory. MFPS 2022 export record
dblp key:
journals/corr/abs-2212-11147 share record
persistent URL:
Benedetto Intrigila , Giulio Manzonetto , Nicolas Munnich : Extended Addressing Machines for PCF, with Explicit Substitutions. MFPS 2022 share record
persistent URL:
Weng Kin Ho , Dongsheng Zhao , Achim Jung , Guo-Qiang Zhang , Guo-Qiang Zhang : Proceedings of the 9th International Symposium on Domain Theory and Its Applications, ISDT 2022, Singapore, July 4-6, 2022. Electronic Notes in Theoretical Informatics and Computer Science 2, EpiSciences 2022 [contents] share record
persistent URL:
Justin Hsu , Christine Tasson : Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022. EPTICS 1, EpiSciences 2022 [contents]