Pages that link to "Item:Q5899100"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899100):
Displaying 10 items.
- Strong normalization from an unusual point of view (Q534700) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Parametric \(\lambda \)-theories (Q930867) (← links)
- A domain model characterising strong normalisation (Q958484) (← links)
- Some characteristics of strong innermost normalization (Q1575274) (← links)
- Abstracting models of strong normalization for classical calculi (Q2291828) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
- (Q3044339) (← links)
- Uniform strong normalization for multi-discipline calculi (Q6164541) (← links)