A list of numbers is called steep if each element is larger than the sum of elements to its right. It is an example we often use when we talk about tupling. Can we determine the steepness of a list by a list homomorphism?
Research
Agda Approximation Bidirectional Updating Burrows-Wheeler Transform Concurrency Converse-of-a-Function Theorem Curry-Howard Data Structure Dependent Type Fibonacci GADT Galois Connection Greedy Theorem Haskell HaXML Imperative Programs Indirect Equality List Homomorphism Logic Logic Programming Optimisation Problems Program Derivation Program Inversion Quantum Programming Quine Regular Expression Segment Problems Termination Thinning Theorem Types XML Streaming λ calculusRecent Comments
- wren ng thornton on Proving the Church-Rosser Theorem Using a Locally Nameless Representation
- Smit Patel on The Maximum Segment Sum Problem: Its Origin, and a Derivation
- Jeremy Gibbons on The Maximum Segment Sum Problem: Its Origin, and a Derivation
- Hao Deng on Calculating Programs from Galois Connections
- José Oliveira on Calculating Programs from Galois Connections