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

Showing 1 - 16 of 16

Name Title Organization
Abel, Andreas Martin Senior lecturer Department of Computer Science and Engineering
Afshari, Bahareh Postdoctoral research fellow Computer Science (CS)
Afshari, Bahareh Postdoctoral research fellow Computer Science (CS)
Bernardy, Jean-Philippe Researcher Linguistics, Logic and Theory of Science unit
Coquand, Thierry Professor Computer Science (CS)
Danielsson, Nils Anders Researcher Computer Science (CS)
Häggström, Olle Professor Applied Mathematics and Statistics
Jansson, Patrik Associate Professor Department of Computer Science and Engineering
Leigh, Graham Researcher Linguistics, Logic and Theory of Science unit
Lundh, Torbjörn Associate Professor Applied Mathematics and Statistics
Mörtberg, Anders Postdoctoral research fellow Department of Computer Science and Engineering
Norell, Ulf Principal research engineer Computer Science (CS)

Showing 1 - 16 of 16

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?