All 2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2006 2005 2004 Other
All Journal Article Presentation Book
Journal of Functional Programming
Volume: 35 Pages: 1-40
10.1017/s0956796824000157
第27回プログラミングおよびプログラミング言語ワークショップ（PPL 2025）
Volume: 1
15th International Conference on Interactive Theorem Proving (ITP 2024), September 9-14, 2024, Tbilisi, Georgia, Leibniz International Proceedings in Informatics
Volume: 309
arXiv
Volume: 2312 Pages: 1-38
The Coq Workshop 2023, Bialystok, Poland, July 31, 2023
Volume: 31
10.1017/s0956796821000137
13th Conference on Intelligent Computer Mathematics (CICM 2020), Bertinoro, Forli, Italy, July 26--31, 2020, Lecture Notes in Artificial Intelligence
Volume: 12236 Pages: 23-38
10.1007/978-3-030-53518-6_2
Computer Software
Volume: 37(3) Pages: 79-95
130007906562
Journal of Automated Reasoning
Volume: TBD Issue: 6 Pages: 1123-1164
10.1007/s10817-019-09538-8
10th International Joint Conference on Automated Reasoning (IJCAR 2020) LNAI
Volume: 12167
10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June 29--July 6, 2020, Lecture Notes in Artificial Intelligence
Volume: 12167 Pages: 3-20
10.1007/978-3-030-51054-1_1
13th Conference on Intelligent Computer Mathematics (CICM 2020) LNCS
Volume: TBD
Journal of Information Processing
Volume: 印刷中
21st Workshop on Programming and Programming Languages (PPL2019), Iwate-ken, Hanamaki-shi, March 6--8, 2019, JSSST
Volume: 1 Pages: 1-16
10th International Conference on Interactive Theorem Proving (ITP 2019)
Volume: N.A.
40022501257
International Symposium on Information Theory and Its Applications, Singapore, October 28--31, 2018, IEICE/IEEE Xplore
Volume: 1 Pages: 665-669
10.23919/isita.2018.8664276
Volume: 26 Issue: 0 Pages: 54-72
10.2197/ipsjjip.26.54
130006309263
Electronic Proceedings in Theoretical Computer Science
Volume: 241 Pages: 23-35
10.4204/eptcs.241.2
Proceedings of the 18th JSSST Workshop on Programming and Programming Languages
Volume: 1 Pages: 1-15
Lecture Notes in Computer Science
Volume: 10009 Pages: 243-260
10.1007/978-3-319-47846-3_16
MI Lecture Note 研究集会 高信頼な理論と実装のための定理証明および定理証明器 (TPP2014), 九州大学, December 3--5, 2014
Volume: 61 Pages: 76-78
Springer LNCS
Volume: 9236 Pages: 17-33
10.1007/978-3-319-22102-1_2
Volume: 紙版、印刷中 Issue: 1 Pages: 63-103
10.1007/s10817-013-9298-1
Mathematical Structures in Computer Science
Volume: December issue
Volume: to appear
APLAS 2013, Springer Verlag LNCS
Volume: 2301 Pages: 257-272
10.1007/978-3-319-03542-0_19
第３６回情報理論とその応用シンポジウム予稿集
Volume: 1 Pages: 163-168
Higher-Order and Symbolic Computation
Volume: 24 Issue: 3 Pages: 207-237
10.1007/s10990-012-9083-6
ACM SIGPLAN Notices-OOPSLA'11
Volume: (46)10 Issue: 10 Pages: 993-1012
10.1145/2076021.2048141
APLAS 2010, Shanghai, Springer-Verlag LNCS
Volume: 6461 Pages: 360-375
Proceedings of the 11^<th> ACM SIGPLAN International Conference on Functional Programming
Pages: 74-86
Proceedings of the 4th Asian Symposium on Programming Languages and Systems. Springer-Verlag LNCS 4279
Pages: 44-60
International Workshop on Foundations of Object-Oriented Languages FOOL 12(印刷中)
International Symposium on Functional and Logic Programming (FLOPS) Springer LNCS 2998
Pages: 196-213
Volume: (to appear)
