Some Models and Semi-decidability Notions of Applicative Theories

TitleSome Models and Semi-decidability Notions of Applicative Theories
Publication TypePhD Thesis
Year of Publication2018
AuthorsRosebrock, T
URLhttp://www.iam.unibe.ch/ltgpub/2019/ros18.pdf