To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Partiality, Revisited: Th… - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type

Conference paper
Authors Thorsten Altenkirch
Nils Anders Danielsson
Nicolai Kraus
Published in Foundations of Software Science and Computation Structures, 20th International Conference, FOSSACS 2017
ISBN 978-3-662-54457-0
ISSN 0302-9743
Publisher Springer-Verlag GmbH Germany
Place of publication Berlin
Publication year 2017
Published at Department of Computer Science and Engineering, Computing Science, Programming Logic
Language en
Links https://arxiv.org/abs/1610.09254v2
https://gup.ub.gu.se/file/207363
Subject categories Theoretical computer science
Page Manager: Webmaster|Last update: 9/11/2012
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?