Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Find our researchers

Choose a subject and find our researchers and their publications.

Theoretical computer science

Part of the research area Computer Science

Latest publications

Cut-free completeness for modal mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Conference paper 2017
Conference paper

Compositional coinduction with sized types
Andreas Abel
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference paper 2016
Conference paper

Finitary Proof Systems for Kozen’s μ
Bahareh Afshari, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2016
Report

Normalization by Evaluation in the Delay Monad
Andreas Abel, James Chapman
22nd International Conference on Types for Proofs and Programs, Conference contribution 2016
Conference contribution

Sprinkles of Extensionality for Your Vanilla Type Theory
Andreas Abel, Jesper Cockx
22nd International Conference on Types for Proofs and Programs (TYPES 2016), Conference contribution 2016
Conference contribution

On Decidability of Conversion in Type Theory
Andreas Abel, Thierry Coquand, Bassel Mannaa
22nd International Conference on Types for Proofs and Programs (TYPES 2016), Conference contribution 2016
Conference contribution

An Extension of Martin-Löf Type Theory with Sized Types
Andreas Abel, Theo Winterhalter
22nd International Conference on Types for Proofs and Programs (TYPES 2016), Conference contribution 2016
Conference contribution

Partiality, Revisited
Thorsten Altenkirch, Nils Anders Danielsson
TYPES 2016, Types for Proofs and Programs, 22nd Meeting, Novi Sad, Serbia, 23 – 26 May, 2016, Book of Abstracts, Conference contribution 2016
Conference contribution

Cubical Intepretations of Type Theory
Simon Huber
Göteborg, University of Gothenburg, Doctoral thesis 2016
Doctoral thesis

Differential Privacy: Now it’s Getting Personal
Hamid Tavallaei Ebadi, David Sands, Gerardo Schneider
Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association for Computing Machinery (ACM), Conference paper 2015
Conference paper

Showing 1 - 13 of 13

Name Title Organization
Abel, Andreas Martin Senior lecturer Department of Computer Science and Engineering
Afshari, Bahareh Postdoctoral research fellow Department of Computer Science and Engineering
Afshari, Bahareh Postdoctoral research fellow Department of Computer Science and Engineering
Coquand, Thierry Professor Department of Computer Science and Engineering
Danielsson, Nils Anders Researcher Department of Computer Science and Engineering
Häggström, Olle Professor Applied Mathematics and Statistics
Leigh, Graham Researcher Department of Philosophy, Linguistics, Theory of Science
Mörtberg, Anders Postdoctoral research fellow Department of Computer Science and Engineering
Norell, Ulf Principal research engineer Department of Computer Science and Engineering

Showing 1 - 13 of 13

Page Manager: Webmaster|Last update: 8/24/2013
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?