Matches in SemOpenAlex for { <https://semopenalex.org/work/W2081326103> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2081326103 endingPage "259" @default.
- W2081326103 startingPage "237" @default.
- W2081326103 abstract "We present the program development concept in a logical framework including constructive type theory and then show how to use such theories to derive programs from proofs of formal specifications. We are interested in two important facts that are the mechanization of the proof construction and the possibility to express in the theory significant concepts for programming (like inductively defined types and general recursion). We give here a survey on some results and problems appearing in logical frameworks devoted to the programming with proofs approach." @default.
- W2081326103 created "2016-06-24" @default.
- W2081326103 creator A5031692169 @default.
- W2081326103 date "1992-03-01" @default.
- W2081326103 modified "2023-10-14" @default.
- W2081326103 title "Program development in constructive type theory" @default.
- W2081326103 cites W1481120792 @default.
- W2081326103 cites W1483170865 @default.
- W2081326103 cites W1501402401 @default.
- W2081326103 cites W1531204726 @default.
- W2081326103 cites W1539120745 @default.
- W2081326103 cites W1543743138 @default.
- W2081326103 cites W1564283617 @default.
- W2081326103 cites W1986402635 @default.
- W2081326103 cites W1995955735 @default.
- W2081326103 cites W2005917745 @default.
- W2081326103 cites W2013373314 @default.
- W2081326103 cites W2035324774 @default.
- W2081326103 cites W2054969282 @default.
- W2081326103 cites W2106718208 @default.
- W2081326103 cites W2128057448 @default.
- W2081326103 cites W2163980057 @default.
- W2081326103 cites W2742270218 @default.
- W2081326103 cites W4494173 @default.
- W2081326103 doi "https://doi.org/10.1016/0304-3975(92)90037-g" @default.
- W2081326103 hasPublicationYear "1992" @default.
- W2081326103 type Work @default.
- W2081326103 sameAs 2081326103 @default.
- W2081326103 citedByCount "3" @default.
- W2081326103 crossrefType "journal-article" @default.
- W2081326103 hasAuthorship W2081326103A5031692169 @default.
- W2081326103 hasBestOaLocation W20813261031 @default.
- W2081326103 hasConcept C134306372 @default.
- W2081326103 hasConcept C136119220 @default.
- W2081326103 hasConcept C18903297 @default.
- W2081326103 hasConcept C199343813 @default.
- W2081326103 hasConcept C199360897 @default.
- W2081326103 hasConcept C202444582 @default.
- W2081326103 hasConcept C2776542497 @default.
- W2081326103 hasConcept C2777299769 @default.
- W2081326103 hasConcept C2777686260 @default.
- W2081326103 hasConcept C2778701210 @default.
- W2081326103 hasConcept C33923547 @default.
- W2081326103 hasConcept C41008148 @default.
- W2081326103 hasConcept C71924100 @default.
- W2081326103 hasConcept C80444323 @default.
- W2081326103 hasConcept C86803240 @default.
- W2081326103 hasConcept C93682546 @default.
- W2081326103 hasConcept C98045186 @default.
- W2081326103 hasConceptScore W2081326103C134306372 @default.
- W2081326103 hasConceptScore W2081326103C136119220 @default.
- W2081326103 hasConceptScore W2081326103C18903297 @default.
- W2081326103 hasConceptScore W2081326103C199343813 @default.
- W2081326103 hasConceptScore W2081326103C199360897 @default.
- W2081326103 hasConceptScore W2081326103C202444582 @default.
- W2081326103 hasConceptScore W2081326103C2776542497 @default.
- W2081326103 hasConceptScore W2081326103C2777299769 @default.
- W2081326103 hasConceptScore W2081326103C2777686260 @default.
- W2081326103 hasConceptScore W2081326103C2778701210 @default.
- W2081326103 hasConceptScore W2081326103C33923547 @default.
- W2081326103 hasConceptScore W2081326103C41008148 @default.
- W2081326103 hasConceptScore W2081326103C71924100 @default.
- W2081326103 hasConceptScore W2081326103C80444323 @default.
- W2081326103 hasConceptScore W2081326103C86803240 @default.
- W2081326103 hasConceptScore W2081326103C93682546 @default.
- W2081326103 hasConceptScore W2081326103C98045186 @default.
- W2081326103 hasIssue "2" @default.
- W2081326103 hasLocation W20813261031 @default.
- W2081326103 hasOpenAccess W2081326103 @default.
- W2081326103 hasPrimaryLocation W20813261031 @default.
- W2081326103 hasRelatedWork W1480879962 @default.
- W2081326103 hasRelatedWork W1525943315 @default.
- W2081326103 hasRelatedWork W185600849 @default.
- W2081326103 hasRelatedWork W1996319902 @default.
- W2081326103 hasRelatedWork W2109631547 @default.
- W2081326103 hasRelatedWork W2139102157 @default.
- W2081326103 hasRelatedWork W2167486301 @default.
- W2081326103 hasRelatedWork W3217362411 @default.
- W2081326103 hasRelatedWork W4214590217 @default.
- W2081326103 hasRelatedWork W71610686 @default.
- W2081326103 hasVolume "94" @default.
- W2081326103 isParatext "false" @default.
- W2081326103 isRetracted "false" @default.
- W2081326103 magId "2081326103" @default.
- W2081326103 workType "article" @default.