Pages that link to "Item:Q2784165"
From MaRDI portal
The following pages link to A predicative analysis of structural recursion (Q2784165):
Displaying 10 items.
- Proving properties of functional programs by equality saturation (Q300342) (← links)
- Verifying termination and reduction properties about higher-order logic programs (Q850496) (← links)
- Adapting functional programs to higher order logic (Q1029815) (← links)
- Inductive Prover Based on Equality Saturation for a Lazy Functional Language (Q3455064) (← links)
- (Q3814831) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- Termination checking with types (Q4659886) (← links)
- (Q5155674) (← links)
- Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)
- Compositional Coinduction with Sized Types (Q5739446) (← links)