Partiality, revisited: the partiality monad as a quotient inductive-inductive type

QR Code

Partiality, revisited: the partiality monad as a quotient inductive-inductive type

Capretta's delay monad can be used to model partial computations, but it has the ``wrong'' notion of built-in equality, strong bisimilarity. An alternative is to quotient the delay monad by the ``right''notion of equality, weak bisimilarity. However, recent work by Chapman e...

Full description

Bibliographic Details
Main Authors:	Altenkirch, Thorsten, Danielson, Nils Anders, Kraus, Nicolai
Format:	Conference or Workshop Item
Published:	2016
Online Access:	https://eprints.nottingham.ac.uk/41533/

Similar Items

Partiality, revisited: the partiality monad as a quotient inductive-inductive type
by: Altenkirch, Thorsten, et al.
Published: (2017)

Quotient inductive-inductive types
by: Altenkirch, Thorsten, et al.
Published: (2017)

Type theory in type theory using quotient inductive types
by: Altenkirch, Thorsten, et al.
Published: (2016)

Constructions with non-recursive higher inductive types
by: Kraus, Nicolai
Published: (2016)

Quotient inductive-inductive definitions
by: Dijkstra, Gabe
Published: (2017)

Relative monads formalised
by: Altenkirch, Thorsten, et al.
Published: (2014)

Monads need not be endofunctors
by: Altenkirch, Thorsten, et al.
Published: (2015)

Free higher groups in homotopy type theory
by: Kraus, Nicolai, et al.
Published: (2018)

Type theory in a type theory with quotient inductive types
by: Kaposi, Ambrus
Published: (2017)

Extending homotopy type theory with strict equality
by: Altenkirch, Thorsten, et al.
Published: (2016)

Notions of anonymous existence in Martin-Löf type theory
by: Kraus, Nicolai, et al.
Published: (2016)

Higher inductive types, inductive families, and inductive-inductive types
by: von Raumer, Jakob
Published: (2020)

Truncation levels in homotopy type theory
by: Kraus, Nicolai
Published: (2015)

Monadic parser combinators
by: Hutton, Graham, et al.
Published: (1996)

Monadic parsing in Haskell
by: Hutton, Graham, et al.
Published: (1998)

Quotient types in type theory
by: Li, Nuo
Published: (2015)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

Representations of first order function types as terminal coalgebras
by: Altenkirch, Thorsten
Published: (2001)

Normalisation by evaluation for type theory, in type theory
by: Altenkirch, Thorsten, et al.
Published: (2017)

Lifting of operations in modular monadic semantics
by: Jaskelioff, Mauro Javier
Published: (2009)

Basic concept of inductance for inductive transducers
by: Arshad, Atika, et al.
Published: (2011)

Comparison of single high-dose streptozotocin with partial pancreatectomy combined with low-dose streptozotocin for diabetes induction in rhesus monkeys
by: Jin, X., et al.
Published: (2010)

Univalent higher categories via complete semi-segal types
by: Capriotti, Paolo, et al.
Published: (2018)

Normalisation by evaluation for dependent types
by: Altenkirch, Thorsten, et al.
Published: (2016)

Towards a cubical type theory without an interval
by: Altenkirch, Thorsten, et al.
Published: (2017)

Induction of DNA complexes by type I and type II interferons
by: Cheng, Wai Kit
Published: (2016)

Unified notions of generalised monads and applicative functors
by: Bracker, Jan
Published: (2018)

Inductive sensor
by: Arshad, Atika, et al.
Published: (2011)

Effects of partially dismantling the CD4 binding site glycan fence of HIV-1 envelope glycoprotein trimers on neutralizing antibody induction
by: Crooks, Ema T, et al.
Published: (2017)

Analysis of mutual inductance and coupling factor of inductively coupled coils for wireless electricity
by: Nataraj, Chandrasekharan, et al.
Published: (2017)

Numerical methods for partial differential equations of hyperbolic type
by: Aloev, R. D., et al.
Published: (2019)

Magnetically geared induction machines
by: Mezani, S., et al.
Published: (2015)

Norms of Deliberation: An Inductive study
by: Mansbridge, J., et al.
Published: (2006)

Norms of Deliberation: An Inductive Study
by: Mansbridge, J., et al.
Published: (2012)

Improved magnetic induction tomography
by: Turton, Logan James
Published: (2023)

Osteoporosis induction in animal model
by: Kaveh, Kamran, et al.
Published: (2010)

Responsible tourism: an inductive approach
by: Ramachandran, Sridar
Published: (2009)

Triple flat-type inductive-based oil palm fruit maturity sensor
by: Aliteh, Nor Aziana, et al.
Published: (2018)

Induction of labour: Facilitation of labour onset, prediction of success and improving the induction process / Tan Peng Chiong
by: Tan, Peng Chiong
Published: (2014)