↓ Skip to main content
What is this page? Embed badge

Programming Languages and Systems

Overview of attention for book
Cover of 'Programming Languages and Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Compilation Semantics for a Programming Language with Versions
  3. Altmetric Badge
    Chapter 2 What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study
  4. Altmetric Badge
    Chapter 3 Types and Semantics for Extensible Data Types
  5. Altmetric Badge
    Chapter 4 A Diamond Machine for Strong Evaluation
  6. Altmetric Badge
    Chapter 5 Proofs as Terms, Terms as Graphs
  7. Altmetric Badge
    Chapter 6 Typed Non-determinism in Functional and Concurrent Calculi
  8. Altmetric Badge
    Chapter 7 A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists
  9. Altmetric Badge
    Chapter 8 Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
  10. Altmetric Badge
    Chapter 9 Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq
  11. Altmetric Badge
    Chapter 10 Towards a Framework for Developing Verified Assemblers for the ELF Format
  12. Altmetric Badge
    Chapter 11 Transport via Partial Galois Connections and Equivalences
  13. Altmetric Badge
    Chapter 12 Argument Reduction of Constrained Horn Clauses Using Equality Constraints
  14. Altmetric Badge
    Chapter 13 Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
  15. Altmetric Badge
    Chapter 14 m -CFA Exhibits Perfect Stack Precision
  16. Altmetric Badge
    Chapter 15 TorchProbe: Fuzzing Dynamic Deep Learning Compilers
Attention for Chapter 8: Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
Chapter number 8
Book title
Programming Languages and Systems
Published by
Springer, Singapore, January 2023
DOI 10.1007/978-981-99-8311-7_8
Book ISBNs
978-9-81-998310-0, 978-9-81-998311-7
Authors

Forster, Yannick, Kirst, Dominik, Mück, Niklas

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 100%
Readers by discipline Count As %
Mathematics 1 100%

This page is provided by Altmetric.