Pages that link to "Item:Q912589"
From MaRDI portal
The following pages link to Constructive system for automatic program synthesis (Q912589):
Displaying 7 items.
- Automatic synthesis of typed \(\Lambda\)-programs on term algebras (Q1079357) (← links)
- Program development in constructive type theory (Q1190474) (← links)
- \(QPC_ 2\): A constructive calculus with parameterized specifications (Q1322848) (← links)
- On proof normalization in linear logic (Q1342248) (← links)
- (Q3043820) (← links)
- (Q4499271) (← links)
- Automatically Generated Infrastructure for De Bruijn Syntaxes (Q5327359) (← links)