Matches in SemOpenAlex for { <https://semopenalex.org/work/W1552157091> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1552157091 abstract "In order to allow the use of axioms in a second-order system of extracting programs from proofs, we define constant terms, a form of Curry-Howard terms, whose types are intended to correspond to those axioms. We also define new reduction rules for these new terms so that all consequences of the axioms can be represented. We finally show that the extended Curry-Howard terms are strongly normalizable." @default.
- W1552157091 created "2016-06-24" @default.
- W1552157091 creator A5028101911 @default.
- W1552157091 date "2013-08-01" @default.
- W1552157091 modified "2023-09-27" @default.
- W1552157091 title "Extended Curry-Howard terms for second-order logic" @default.
- W1552157091 cites W1566752377 @default.
- W1552157091 cites W1985234321 @default.
- W1552157091 doi "https://doi.org/10.1002/malq.201100102" @default.
- W1552157091 hasPublicationYear "2013" @default.
- W1552157091 type Work @default.
- W1552157091 sameAs 1552157091 @default.
- W1552157091 citedByCount "0" @default.
- W1552157091 crossrefType "journal-article" @default.
- W1552157091 hasAuthorship W1552157091A5028101911 @default.
- W1552157091 hasConcept C10138342 @default.
- W1552157091 hasConcept C108710211 @default.
- W1552157091 hasConcept C118615104 @default.
- W1552157091 hasConcept C136119220 @default.
- W1552157091 hasConcept C144237770 @default.
- W1552157091 hasConcept C162324750 @default.
- W1552157091 hasConcept C167729594 @default.
- W1552157091 hasConcept C182306322 @default.
- W1552157091 hasConcept C199343813 @default.
- W1552157091 hasConcept C199360897 @default.
- W1552157091 hasConcept C202444582 @default.
- W1552157091 hasConcept C2524010 @default.
- W1552157091 hasConcept C2777027219 @default.
- W1552157091 hasConcept C2777686260 @default.
- W1552157091 hasConcept C2781029818 @default.
- W1552157091 hasConcept C33923547 @default.
- W1552157091 hasConcept C41008148 @default.
- W1552157091 hasConcept C71924100 @default.
- W1552157091 hasConceptScore W1552157091C10138342 @default.
- W1552157091 hasConceptScore W1552157091C108710211 @default.
- W1552157091 hasConceptScore W1552157091C118615104 @default.
- W1552157091 hasConceptScore W1552157091C136119220 @default.
- W1552157091 hasConceptScore W1552157091C144237770 @default.
- W1552157091 hasConceptScore W1552157091C162324750 @default.
- W1552157091 hasConceptScore W1552157091C167729594 @default.
- W1552157091 hasConceptScore W1552157091C182306322 @default.
- W1552157091 hasConceptScore W1552157091C199343813 @default.
- W1552157091 hasConceptScore W1552157091C199360897 @default.
- W1552157091 hasConceptScore W1552157091C202444582 @default.
- W1552157091 hasConceptScore W1552157091C2524010 @default.
- W1552157091 hasConceptScore W1552157091C2777027219 @default.
- W1552157091 hasConceptScore W1552157091C2777686260 @default.
- W1552157091 hasConceptScore W1552157091C2781029818 @default.
- W1552157091 hasConceptScore W1552157091C33923547 @default.
- W1552157091 hasConceptScore W1552157091C41008148 @default.
- W1552157091 hasConceptScore W1552157091C71924100 @default.
- W1552157091 hasLocation W15521570911 @default.
- W1552157091 hasOpenAccess W1552157091 @default.
- W1552157091 hasPrimaryLocation W15521570911 @default.
- W1552157091 hasRelatedWork W1484222275 @default.
- W1552157091 hasRelatedWork W1541972807 @default.
- W1552157091 hasRelatedWork W1546261961 @default.
- W1552157091 hasRelatedWork W1546767004 @default.
- W1552157091 hasRelatedWork W1548268448 @default.
- W1552157091 hasRelatedWork W1566752377 @default.
- W1552157091 hasRelatedWork W1966945932 @default.
- W1552157091 hasRelatedWork W1982340990 @default.
- W1552157091 hasRelatedWork W2043056708 @default.
- W1552157091 hasRelatedWork W2074018571 @default.
- W1552157091 hasRelatedWork W2102246643 @default.
- W1552157091 hasRelatedWork W2147302656 @default.
- W1552157091 hasRelatedWork W2155410891 @default.
- W1552157091 hasRelatedWork W2172982628 @default.
- W1552157091 hasRelatedWork W2244976569 @default.
- W1552157091 hasRelatedWork W2276824306 @default.
- W1552157091 hasRelatedWork W2281452765 @default.
- W1552157091 hasRelatedWork W2294653671 @default.
- W1552157091 hasRelatedWork W3118932753 @default.
- W1552157091 hasRelatedWork W93385149 @default.
- W1552157091 isParatext "false" @default.
- W1552157091 isRetracted "false" @default.
- W1552157091 magId "1552157091" @default.
- W1552157091 workType "article" @default.