Matches in SemOpenAlex for { <https://semopenalex.org/work/W1501402401> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1501402401 endingPage "159" @default.
- W1501402401 startingPage "145" @default.
- W1501402401 abstract "We discuss the possibility to construct a programming language in which we can program by proofs, in order to ensure program correctness. The logical framework we use is presented in [13]. The main objection to that kind of approach to programming being the inefficiency of the program produced by proofs, the greater part of the paper is devoted to investigate how to define data types and how to construct programs for combining proofs and efficiency. Several solutions are proposed using recursive data types which lead, in particular, to new representations of natural numbers in lambda-calculus." @default.
- W1501402401 created "2016-06-24" @default.
- W1501402401 creator A5083676860 @default.
- W1501402401 date "1988-01-01" @default.
- W1501402401 modified "2023-09-30" @default.
- W1501402401 title "Programming with proofs: A second order type theory" @default.
- W1501402401 cites W1567828704 @default.
- W1501402401 cites W1867436870 @default.
- W1501402401 cites W2054969282 @default.
- W1501402401 cites W2124798629 @default.
- W1501402401 cites W2163663581 @default.
- W1501402401 cites W2211325406 @default.
- W1501402401 doi "https://doi.org/10.1007/3-540-19027-9_10" @default.
- W1501402401 hasPublicationYear "1988" @default.
- W1501402401 type Work @default.
- W1501402401 sameAs 1501402401 @default.
- W1501402401 citedByCount "37" @default.
- W1501402401 countsByYear W15014024012013 @default.
- W1501402401 countsByYear W15014024012014 @default.
- W1501402401 countsByYear W15014024012018 @default.
- W1501402401 countsByYear W15014024012019 @default.
- W1501402401 countsByYear W15014024012020 @default.
- W1501402401 countsByYear W15014024012021 @default.
- W1501402401 countsByYear W15014024012023 @default.
- W1501402401 crossrefType "book-chapter" @default.
- W1501402401 hasAuthorship W1501402401A5083676860 @default.
- W1501402401 hasBestOaLocation W15014024011 @default.
- W1501402401 hasConcept C108710211 @default.
- W1501402401 hasConcept C135790938 @default.
- W1501402401 hasConcept C138958017 @default.
- W1501402401 hasConcept C162324750 @default.
- W1501402401 hasConcept C175444787 @default.
- W1501402401 hasConcept C175971053 @default.
- W1501402401 hasConcept C18903297 @default.
- W1501402401 hasConcept C199343813 @default.
- W1501402401 hasConcept C199360897 @default.
- W1501402401 hasConcept C20528804 @default.
- W1501402401 hasConcept C2524010 @default.
- W1501402401 hasConcept C2777299769 @default.
- W1501402401 hasConcept C2777686260 @default.
- W1501402401 hasConcept C2778869765 @default.
- W1501402401 hasConcept C2780801425 @default.
- W1501402401 hasConcept C33923547 @default.
- W1501402401 hasConcept C41008148 @default.
- W1501402401 hasConcept C42383842 @default.
- W1501402401 hasConcept C55439883 @default.
- W1501402401 hasConcept C71924100 @default.
- W1501402401 hasConcept C80444323 @default.
- W1501402401 hasConcept C86803240 @default.
- W1501402401 hasConcept C93682546 @default.
- W1501402401 hasConceptScore W1501402401C108710211 @default.
- W1501402401 hasConceptScore W1501402401C135790938 @default.
- W1501402401 hasConceptScore W1501402401C138958017 @default.
- W1501402401 hasConceptScore W1501402401C162324750 @default.
- W1501402401 hasConceptScore W1501402401C175444787 @default.
- W1501402401 hasConceptScore W1501402401C175971053 @default.
- W1501402401 hasConceptScore W1501402401C18903297 @default.
- W1501402401 hasConceptScore W1501402401C199343813 @default.
- W1501402401 hasConceptScore W1501402401C199360897 @default.
- W1501402401 hasConceptScore W1501402401C20528804 @default.
- W1501402401 hasConceptScore W1501402401C2524010 @default.
- W1501402401 hasConceptScore W1501402401C2777299769 @default.
- W1501402401 hasConceptScore W1501402401C2777686260 @default.
- W1501402401 hasConceptScore W1501402401C2778869765 @default.
- W1501402401 hasConceptScore W1501402401C2780801425 @default.
- W1501402401 hasConceptScore W1501402401C33923547 @default.
- W1501402401 hasConceptScore W1501402401C41008148 @default.
- W1501402401 hasConceptScore W1501402401C42383842 @default.
- W1501402401 hasConceptScore W1501402401C55439883 @default.
- W1501402401 hasConceptScore W1501402401C71924100 @default.
- W1501402401 hasConceptScore W1501402401C80444323 @default.
- W1501402401 hasConceptScore W1501402401C86803240 @default.
- W1501402401 hasConceptScore W1501402401C93682546 @default.
- W1501402401 hasLocation W15014024011 @default.
- W1501402401 hasOpenAccess W1501402401 @default.
- W1501402401 hasPrimaryLocation W15014024011 @default.
- W1501402401 hasRelatedWork W1501402401 @default.
- W1501402401 hasRelatedWork W1558175043 @default.
- W1501402401 hasRelatedWork W2073202004 @default.
- W1501402401 hasRelatedWork W2112150205 @default.
- W1501402401 hasRelatedWork W2118227920 @default.
- W1501402401 hasRelatedWork W2137343774 @default.
- W1501402401 hasRelatedWork W2139102157 @default.
- W1501402401 hasRelatedWork W2264209468 @default.
- W1501402401 hasRelatedWork W2291292811 @default.
- W1501402401 hasRelatedWork W2886069053 @default.
- W1501402401 isParatext "false" @default.
- W1501402401 isRetracted "false" @default.
- W1501402401 magId "1501402401" @default.
- W1501402401 workType "book-chapter" @default.