Heterogeneous Substitution Systems Revisited (Q4580223): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(6 intermediate revisions by 4 users not shown)
label / enlabel / en
 
Heterogeneous Substitution Systems Revisited
Property / describes a project that uses
 
Property / describes a project that uses: UniMath / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: GitHub / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Coq / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1601.04299 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Termination checking with types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Iteration and coiteration schemes for higher-order and nested datatypes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Univalent categories and the Rezk completion / rank
 
Normal rank
Property / cites work
 
Property / cites work: From signatures to monads in \textsf{UniMath} / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Wellfounded Trees in UniMath / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monads need not be endofunctors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4945244 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Substitution: A formal methods case study using monads and transformations / rank
 
Normal rank
Property / cites work
 
Property / cites work: de Bruijn notation as a nested datatype / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalised folds for nested datatypes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5854736 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modules over Monads and Linearity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modules over monads and initial semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4247303 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Disciplined, efficient, generalised folds for nested datatypes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Map fusion for nested datatypes in intensional type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Substitution in non-wellfounded syntax with variable binding / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inductive types and type constraints in the second-order lambda calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructing categories and setoids of setoids in type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universe Polymorphism in Coq / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy Type Theory: Univalent Foundations of Mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: An experimental library of formalized Mathematics based on the univalent foundations / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4394790805 / rank
 
Normal rank
Property / title
 
Heterogeneous Substitution Systems Revisited (English)
Property / title: Heterogeneous Substitution Systems Revisited (English) / rank
 
Normal rank

Latest revision as of 09:14, 30 July 2024

scientific article; zbMATH DE number 6917242
Language Label Description Also known as
English
Heterogeneous Substitution Systems Revisited
scientific article; zbMATH DE number 6917242

    Statements

    0 references
    0 references
    13 August 2018
    0 references
    formalization of category theory
    0 references
    nested datatypes
    0 references
    Mendler-style recursion schemes
    0 references
    representation of substitution in languages with variable binding
    0 references
    0 references
    0 references
    0 references
    Heterogeneous Substitution Systems Revisited (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references