Pages that link to "Item:Q2343122"
From MaRDI portal
The following pages link to Developments in implicit computational complexity (Q2343122):
Displaying 5 items.
- Special issue: Developments in implicit computational complexity, 2014 and 2015 (Q1640978) (← links)
- Developments in implicit complexity (DICE 2012) (Q2346986) (← links)
- A Short Introduction to Implicit Computational Complexity (Q3166988) (← links)
- Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs (Q3460055) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)