Pages that link to "Item:Q1346686"
From MaRDI portal
The following pages link to Substitution: A formal methods case study using monads and transformations (Q1346686):
Displaying 12 items.
- Map fusion for nested datatypes in intensional type theory (Q627204) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
- A unified treatment of syntax with binders (Q3165528) (← links)
- (Q3384910) (← links)
- Implementing a normalizer using sized heterogeneous types (Q3638918) (← links)
- An induction principle for nested datatypes in intensional type theory (Q3638923) (← links)
- Heterogeneous Substitution Systems Revisited (Q4580223) (← links)
- (Q5009703) (← links)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
- (Q5101336) (← links)
- 2-Dimensional Directed Type Theory (Q5739362) (← links)
