Compositional Coinduction with Sized Types (Q5739446): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q2766795 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4457444 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mixed Inductive/Coinductive Types and Strong Normalization / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semi-continuous Sized Types and Termination / rank
 
Normal rank
Property / cites work
 
Property / cites work: A predicative analysis of structural recursion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Wellfounded recursion with copatterns / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3839066 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Type-based termination of recursive definitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundational extensible corecursion: a proof assistant perspective / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subtyping, Declaratively / rank
 
Normal rank
Property / cites work
 
Property / cites work: The power of parameterization in coinductive proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Size-Change Termination Principle for Constructor Based Languages / 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: Q3999860 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4281483 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Enhancements of the bisimulation proof method / rank
 
Normal rank
Property / cites work
 
Property / cites work: Type-Based Productivity of Stream Definitions in the Calculus of Constructions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4417874 / rank
 
Normal rank

Latest revision as of 07:09, 12 July 2024

scientific article; zbMATH DE number 6603962
Language Label Description Also known as
English
Compositional Coinduction with Sized Types
scientific article; zbMATH DE number 6603962

    Statements

    Identifiers