乌尔里希·伯杰;Hideki Tsuiki 直觉主义的定点逻辑。 （英语） Zbl 1498.03065号 Ann.纯应用。逻辑 172，第3号，文章ID 102903，57 p.（2021）.MSC公司：03B70号 03B20型 03B40型 03日70 03D78号 03层60 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{H.Tsuiki}，Ann.Pure Appl。逻辑172，第3号，文章ID 102903，57页（2021；Zbl 1498.03065） 全文： 内政部 arXiv公司
乌尔里希·伯杰;安东·塞泽尔 代码数据类型的等式不确定。 （英语） Zbl 1519.68145号 科琳娜（Corina）（编辑），《计算机科学中的协同代数方法》（Coalgebraic methods in computer science）。2018年4月14日至15日，第14届IFIP工作组1.3国际研讨会，CMCS 2018，与ETAPS 2018在希腊塞萨洛尼基共同举办。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11202, 34-55 (2018).MSC公司：68问题65 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{A.Setzer}，莱克特。注释计算。科学。11202，34-55（2018；Zbl 1519.68145） 全文： 内政部 链接
乌尔里希·伯杰;侯铁英 对丘奇简单类型理论的可实现性解释。 （英语） Zbl 1423.03044号 数学。结构。计算。科学。 27，第8期，1364-1385（2017）.MSC公司：03B20型 03B15号机组 03B40型 03D78号 35层03 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{T.Hou}，数学。结构。计算。科学。27，第8号，1364--1385（2017；Zbl 1423.03044） 全文： 内政部