Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520395147> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1520395147 endingPage "67" @default.
- W1520395147 startingPage "32" @default.
- W1520395147 abstract "We describe a method for formally developing functional programs using the “propositions as types” paradigm. The idea is that a function together with its proof of correctness forms a morphism in a category whose objects are input/output specifications. The functionproof pairs, called “deliverables”, can be combined by the operations of a cartesian closed category, indeed by the same operations which are usually used to combine functions. The method has been implemented using the Lego proof assistant and tried on some examples." @default.
- W1520395147 created "2016-06-24" @default.
- W1520395147 creator A5047695892 @default.
- W1520395147 creator A5073222318 @default.
- W1520395147 date "1993-01-01" @default.
- W1520395147 modified "2023-10-18" @default.
- W1520395147 title "Deliverables: a categorical approach to program development in type theory" @default.
- W1520395147 cites W1036388830 @default.
- W1520395147 cites W1520395147 @default.
- W1520395147 cites W1867436870 @default.
- W1520395147 cites W2086054252 @default.
- W1520395147 cites W2088862781 @default.
- W1520395147 cites W2106895712 @default.
- W1520395147 cites W2124729849 @default.
- W1520395147 cites W2987907651 @default.
- W1520395147 cites W345808991 @default.
- W1520395147 doi "https://doi.org/10.1007/3-540-57182-5_3" @default.
- W1520395147 hasPublicationYear "1993" @default.
- W1520395147 type Work @default.
- W1520395147 sameAs 1520395147 @default.
- W1520395147 citedByCount "34" @default.
- W1520395147 countsByYear W15203951472020 @default.
- W1520395147 countsByYear W15203951472021 @default.
- W1520395147 countsByYear W15203951472022 @default.
- W1520395147 crossrefType "book-chapter" @default.
- W1520395147 hasAuthorship W1520395147A5047695892 @default.
- W1520395147 hasAuthorship W1520395147A5073222318 @default.
- W1520395147 hasBestOaLocation W15203951472 @default.
- W1520395147 hasConcept C119857082 @default.
- W1520395147 hasConcept C127313418 @default.
- W1520395147 hasConcept C127413603 @default.
- W1520395147 hasConcept C151730666 @default.
- W1520395147 hasConcept C201995342 @default.
- W1520395147 hasConcept C21883318 @default.
- W1520395147 hasConcept C2777299769 @default.
- W1520395147 hasConcept C41008148 @default.
- W1520395147 hasConcept C5274069 @default.
- W1520395147 hasConcept C93682546 @default.
- W1520395147 hasConceptScore W1520395147C119857082 @default.
- W1520395147 hasConceptScore W1520395147C127313418 @default.
- W1520395147 hasConceptScore W1520395147C127413603 @default.
- W1520395147 hasConceptScore W1520395147C151730666 @default.
- W1520395147 hasConceptScore W1520395147C201995342 @default.
- W1520395147 hasConceptScore W1520395147C21883318 @default.
- W1520395147 hasConceptScore W1520395147C2777299769 @default.
- W1520395147 hasConceptScore W1520395147C41008148 @default.
- W1520395147 hasConceptScore W1520395147C5274069 @default.
- W1520395147 hasConceptScore W1520395147C93682546 @default.
- W1520395147 hasLocation W15203951471 @default.
- W1520395147 hasLocation W15203951472 @default.
- W1520395147 hasOpenAccess W1520395147 @default.
- W1520395147 hasPrimaryLocation W15203951471 @default.
- W1520395147 hasRelatedWork W1520395147 @default.
- W1520395147 hasRelatedWork W2105781220 @default.
- W1520395147 hasRelatedWork W2613505259 @default.
- W1520395147 hasRelatedWork W2898915490 @default.
- W1520395147 hasRelatedWork W2949557050 @default.
- W1520395147 hasRelatedWork W3216540073 @default.
- W1520395147 hasRelatedWork W4286851338 @default.
- W1520395147 hasRelatedWork W4298133976 @default.
- W1520395147 hasRelatedWork W4306353309 @default.
- W1520395147 hasRelatedWork W4225424606 @default.
- W1520395147 isParatext "false" @default.
- W1520395147 isRetracted "false" @default.
- W1520395147 magId "1520395147" @default.
- W1520395147 workType "book-chapter" @default.