To the top

Page Manager: Webmaster
Last update: 8/24/2013 3:08 PM

Tell a friend about this page
Print version

Theoretical computer science - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Contact form








 


Note! If you want an answer on a question you must specify your email address




Theoretical computer science

Part of the research area Computer Science

Latest publications

23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary.
Andreas Abel, Fredrik Nordvall Forsberg, Ambrus Kaposi
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Edited book 2018
Edited book

Resourceful Dependent Types
Andreas Abel
24th International Conference on Types for Proofs and Programs (TYPES 2018), Braga, Portugal, 18-21 June 2018., Conference contribution 2018
Conference contribution

Elaborating dependent (co)pattern matching
Andreas Abel, Jesper Cockx
Proceedings of the ACM on Programming Languages, Journal article 2018
Journal article

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Mathematisches Forschungsinstitut Oberwolfach, Report 2018
Report

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

Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type
Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus
Foundations of Software Science and Computation Structures, 20th International Conference, FOSSACS 2017, Berlin, Springer-Verlag GmbH Germany, Conference paper 2017
Conference paper

Type Theory with Weak J
Thorsten Altenkirch, Paolo Capriotti, Thierry Coquand, Nils Anders Danielsson, Simon Huber et al.
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts, Budapest, Hungary, Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Conference contribution 2017
Conference contribution

Towards practical out-of-order unification
Nils Anders Danielsson, Vı́ctor López Juan
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts, Budapest, Hungary, Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Conference contribution 2017
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

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

Showing 1 - 16 of 16

Name Title Organization
Abel, Andreas Martin Senior lecturer Computer Science (CS)
Afshari, Bahareh Postdoctoral research fellow Computer Science (CS)
Bernardy, Jean-Philippe Researcher Linguistics, Logic and Theory of Science unit
Cockx, Jesper Postdoctor Computer Science (CS)
Coquand, Thierry Professor Computer Science (CS)
Danielsson, Nils Anders Senior lecturer 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
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?