Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,566,788 papers from all fields of science
Search
Sign In
Create Free Account
JTK 109
Known as:
JTK-109
, JTK109
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Programming with Classical Proofs
Hans Bugge Grathwohl
2013
Corpus ID: 124682409
This thesis is about extracting programs from classical proofs. In the first part, we show conservativity of Peano arithmetic…
Expand