Quotienting the delay monad by weak bisimilarity

Keyphrases

• Monads 100%
• Weak Bisimilarity 100%
• Delay Monad 100%
• Type Theory 60%
• Partial Order 40%
• Computer Science 20%
• Programming Languages 20%
• Agda 20%
• Dependently Typed Programming 20%
• Lecture Notes 20%
• Semiclassical 20%
• Setoids 20%
• Higher Inductive Types 20%
• Hofmann 20%
• Extensionality 20%
• Intensional Type Theory 20%
• Quotient Types 20%
• Choice Principles 20%
• Unit Type 20%
• Homotopy Type Theory 20%
• Logical Method 20%
• Equivalence Relation 20%
• Heidelberg 20%
• Join-semilattice 20%
• Axiom of Countable Choice 20%
• Computability Theory 20%
• Computer Science 1 20%

Mathematics

• Type Theory 100%
• Partial Order 40%
• Computability Theory 20%
• Inductive Type 20%
• Unit Type 20%
• Partial Function 20%
• Programming Language 20%
• Homotopy Type 20%
• Equivalence Relation 20%
• Extensionality 20%
• Proposition 20%