Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950679761> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2950679761 abstract "We prove the strong normalization of full classical natural deduction (i.e. with conjunction, disjunction and permutative conversions) by using a translation into the simply typed lambda-mu-calculus. We also extend Mendler's result on recursive equations to this system." @default.
- W2950679761 created "2019-06-27" @default.
- W2950679761 creator A5018831581 @default.
- W2950679761 creator A5032263146 @default.
- W2950679761 date "2010-01-01" @default.
- W2950679761 modified "2023-09-27" @default.
- W2950679761 title "Strong normalization results by translation" @default.
- W2950679761 cites W1490489421 @default.
- W2950679761 cites W1578684710 @default.
- W2950679761 cites W1584250132 @default.
- W2950679761 cites W165446927 @default.
- W2950679761 cites W1971181861 @default.
- W2950679761 cites W1991947308 @default.
- W2950679761 cites W2002747303 @default.
- W2950679761 cites W2003295197 @default.
- W2950679761 cites W2043498337 @default.
- W2950679761 cites W2077107862 @default.
- W2950679761 cites W2132936218 @default.
- W2950679761 cites W2951722929 @default.
- W2950679761 hasPublicationYear "2010" @default.
- W2950679761 type Work @default.
- W2950679761 sameAs 2950679761 @default.
- W2950679761 citedByCount "0" @default.
- W2950679761 crossrefType "journal-article" @default.
- W2950679761 hasAuthorship W2950679761A5018831581 @default.
- W2950679761 hasAuthorship W2950679761A5032263146 @default.
- W2950679761 hasBestOaLocation W29506797611 @default.
- W2950679761 hasConcept C104317684 @default.
- W2950679761 hasConcept C105580179 @default.
- W2950679761 hasConcept C136886441 @default.
- W2950679761 hasConcept C144024400 @default.
- W2950679761 hasConcept C149364088 @default.
- W2950679761 hasConcept C154945302 @default.
- W2950679761 hasConcept C185592680 @default.
- W2950679761 hasConcept C19165224 @default.
- W2950679761 hasConcept C204321447 @default.
- W2950679761 hasConcept C41008148 @default.
- W2950679761 hasConcept C55493867 @default.
- W2950679761 hasConceptScore W2950679761C104317684 @default.
- W2950679761 hasConceptScore W2950679761C105580179 @default.
- W2950679761 hasConceptScore W2950679761C136886441 @default.
- W2950679761 hasConceptScore W2950679761C144024400 @default.
- W2950679761 hasConceptScore W2950679761C149364088 @default.
- W2950679761 hasConceptScore W2950679761C154945302 @default.
- W2950679761 hasConceptScore W2950679761C185592680 @default.
- W2950679761 hasConceptScore W2950679761C19165224 @default.
- W2950679761 hasConceptScore W2950679761C204321447 @default.
- W2950679761 hasConceptScore W2950679761C41008148 @default.
- W2950679761 hasConceptScore W2950679761C55493867 @default.
- W2950679761 hasLocation W29506797611 @default.
- W2950679761 hasLocation W29506797612 @default.
- W2950679761 hasLocation W29506797613 @default.
- W2950679761 hasLocation W29506797614 @default.
- W2950679761 hasLocation W29506797615 @default.
- W2950679761 hasLocation W29506797616 @default.
- W2950679761 hasOpenAccess W2950679761 @default.
- W2950679761 hasPrimaryLocation W29506797611 @default.
- W2950679761 hasRelatedWork W121567045 @default.
- W2950679761 hasRelatedWork W2063185616 @default.
- W2950679761 hasRelatedWork W2090485996 @default.
- W2950679761 hasRelatedWork W2293457016 @default.
- W2950679761 hasRelatedWork W2356313285 @default.
- W2950679761 hasRelatedWork W2516800609 @default.
- W2950679761 hasRelatedWork W2533072256 @default.
- W2950679761 hasRelatedWork W2789919619 @default.
- W2950679761 hasRelatedWork W2794115703 @default.
- W2950679761 hasRelatedWork W1551406738 @default.
- W2950679761 isParatext "false" @default.
- W2950679761 isRetracted "false" @default.
- W2950679761 magId "2950679761" @default.
- W2950679761 workType "article" @default.