Partiality, Revisited
From MaRDI portal
Publication:2988390
DOI10.1007/978-3-662-54458-7_31zbMath1486.68036arXiv1610.09254OpenAlexW3123725507WikidataQ61583670 ScholiaQ61583670MaRDI QIDQ2988390
Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus
Publication date: 19 May 2017
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1610.09254
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Eilenberg-Moore and Kleisli constructions for monads (18C20) Higher-order logic (03B16)
Related Items (13)
Modalities in homotopy type theory ⋮ The construction of set-truncated higher inductive types ⋮ The Scott model of PCF in univalent type theory ⋮ Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ Partiality and Container Monads ⋮ Quotienting the delay monad by weak bisimilarity ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Higher Structures in Homotopy Type Theory ⋮ Streams of approximations, equivalence of recursive effectful programs ⋮ Two-level type theory and applications ⋮ Type-theoretic approaches to ordinals ⋮ Partiality, Revisited
Cites Work
- Unnamed Item
- Unnamed Item
- Quotient inductive-inductive types
- Quotienting the Delay Monad by Weak Bisimilarity
- Higher Inductive Types as Homotopy-Initial Algebras
- Type theory in type theory using quotient inductive types
- Inductive Types in Homotopy Type Theory
- Partiality, Revisited
- Some Domain Theory and Denotational Semantics in Coq
- Operational semantics using the partiality monad
- Generalizations of Hedberg’s Theorem
- On the Cauchy completeness of the constructive Cauchy reals
- General Recursion via Coinductive Types
This page was built for publication: Partiality, Revisited