Pages that link to "Item:Q5145661"

The following pages link to A tier-based typed programming language characterizing Feasible Functionals (Q5145661):

Displaying 3 items.

• \textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs (Q2119987) (← links)
• (Q5094117) (← links)
• On basic feasible functionals and the interpretation method (Q6629518) (← links)