Part 4
Interaction, Probabilistic and Quantitative Semantics, and Quantum Computation
- 168Reversible Classical ComputationOptional
- 169Profunctors, Coends, and OpticsOptional
- 170Dependent Optics and Indexed Bidirectional StructureOptional
- 171Probabilistic Lambda Calculi and Program EquivalenceOptional
- 172Probability, Measure, Kernels, and Computable SamplingCore route
- 173Computable Conditioning and Its LimitsOptional
- 174Continuous Probabilistic Languages and Quasi-Borel SemanticsCore route
- 175Inference as Semantics-Preserving Program TransformationOptional
- 176Probabilistic Program LogicsOptional
- 177Expected Cost and Probabilistic Resource AnalysisOptional
- 178Error Credits and Approximate Higher-Order ReasoningOptional
- 179Verified Compilation of Probabilistic ProgramsOptional
- 180Dependent Probability and Fibred MeasureOptional
- 181Differential Lambda Calculus and Resource Taylor ExpansionOptional
- 182Differentiable Semantics and Forward-Mode Automatic DifferentiationOptional
- 183Reverse-Mode Automatic Differentiation and Cotangent SemanticsOptional
- 184Quantum Lambda Calculi and Linear Quantum DataOptional
- 185Typed Quantum Circuits and Proto-Quipper-MOptional
- 186Linear-Dependent Quantum Programming and Proto-Quipper-DOptional