Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076373012> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2076373012 abstract "Abstract A paradigm of program development using type theories is given after analyzing some typical examples. In order to carry this approach forward, a language ALT is designed, a linguistic description of a generalized higher order typed lambda calculus with Π, Σ types and Π, Σ kinds (supertype). Four examples are given to show how ALT can be used to implement many concepts of software engineering and artificial intelligence, they are intuitionistic logic, Peano arithmetic, approximate reasoning and program transformation. ALT is described formally, using a structural operational approach." @default.
- W2076373012 created "2016-06-24" @default.
- W2076373012 creator A5068912450 @default.
- W2076373012 date "1990-06-01" @default.
- W2076373012 modified "2023-09-25" @default.
- W2076373012 title "A type-theoretic approach for program development" @default.
- W2076373012 cites W1483170865 @default.
- W2076373012 cites W1563189921 @default.
- W2076373012 cites W179611734 @default.
- W2076373012 cites W2019196272 @default.
- W2076373012 cites W2045304669 @default.
- W2076373012 cites W2070577487 @default.
- W2076373012 cites W2114958714 @default.
- W2076373012 cites W2118512391 @default.
- W2076373012 cites W2612793397 @default.
- W2076373012 cites W413776113 @default.
- W2076373012 cites W569543113 @default.
- W2076373012 doi "https://doi.org/10.1016/0167-739x(90)90009-3" @default.
- W2076373012 hasPublicationYear "1990" @default.
- W2076373012 type Work @default.
- W2076373012 sameAs 2076373012 @default.
- W2076373012 citedByCount "0" @default.
- W2076373012 crossrefType "journal-article" @default.
- W2076373012 hasAuthorship W2076373012A5068912450 @default.
- W2076373012 hasConcept C104317684 @default.
- W2076373012 hasConcept C134306372 @default.
- W2076373012 hasConcept C135790938 @default.
- W2076373012 hasConcept C142156749 @default.
- W2076373012 hasConcept C185592680 @default.
- W2076373012 hasConcept C18903297 @default.
- W2076373012 hasConcept C199360897 @default.
- W2076373012 hasConcept C204241405 @default.
- W2076373012 hasConcept C20528804 @default.
- W2076373012 hasConcept C2776542497 @default.
- W2076373012 hasConcept C2777299769 @default.
- W2076373012 hasConcept C2778361913 @default.
- W2076373012 hasConcept C33923547 @default.
- W2076373012 hasConcept C41008148 @default.
- W2076373012 hasConcept C55493867 @default.
- W2076373012 hasConcept C80444323 @default.
- W2076373012 hasConcept C85343465 @default.
- W2076373012 hasConcept C86803240 @default.
- W2076373012 hasConcept C93682546 @default.
- W2076373012 hasConcept C97489613 @default.
- W2076373012 hasConceptScore W2076373012C104317684 @default.
- W2076373012 hasConceptScore W2076373012C134306372 @default.
- W2076373012 hasConceptScore W2076373012C135790938 @default.
- W2076373012 hasConceptScore W2076373012C142156749 @default.
- W2076373012 hasConceptScore W2076373012C185592680 @default.
- W2076373012 hasConceptScore W2076373012C18903297 @default.
- W2076373012 hasConceptScore W2076373012C199360897 @default.
- W2076373012 hasConceptScore W2076373012C204241405 @default.
- W2076373012 hasConceptScore W2076373012C20528804 @default.
- W2076373012 hasConceptScore W2076373012C2776542497 @default.
- W2076373012 hasConceptScore W2076373012C2777299769 @default.
- W2076373012 hasConceptScore W2076373012C2778361913 @default.
- W2076373012 hasConceptScore W2076373012C33923547 @default.
- W2076373012 hasConceptScore W2076373012C41008148 @default.
- W2076373012 hasConceptScore W2076373012C55493867 @default.
- W2076373012 hasConceptScore W2076373012C80444323 @default.
- W2076373012 hasConceptScore W2076373012C85343465 @default.
- W2076373012 hasConceptScore W2076373012C86803240 @default.
- W2076373012 hasConceptScore W2076373012C93682546 @default.
- W2076373012 hasConceptScore W2076373012C97489613 @default.
- W2076373012 hasLocation W20763730121 @default.
- W2076373012 hasOpenAccess W2076373012 @default.
- W2076373012 hasPrimaryLocation W20763730121 @default.
- W2076373012 hasRelatedWork W17733618 @default.
- W2076373012 hasRelatedWork W1969204136 @default.
- W2076373012 hasRelatedWork W1986523916 @default.
- W2076373012 hasRelatedWork W2010525351 @default.
- W2076373012 hasRelatedWork W2012140088 @default.
- W2076373012 hasRelatedWork W2019250772 @default.
- W2076373012 hasRelatedWork W2040064689 @default.
- W2076373012 hasRelatedWork W2051431350 @default.
- W2076373012 hasRelatedWork W2066921528 @default.
- W2076373012 hasRelatedWork W2077444071 @default.
- W2076373012 hasRelatedWork W2083784549 @default.
- W2076373012 hasRelatedWork W2092276539 @default.
- W2076373012 hasRelatedWork W2093236316 @default.
- W2076373012 hasRelatedWork W2105874697 @default.
- W2076373012 hasRelatedWork W2173852369 @default.
- W2076373012 hasRelatedWork W2501573651 @default.
- W2076373012 hasRelatedWork W3109129416 @default.
- W2076373012 hasRelatedWork W2467505627 @default.
- W2076373012 hasRelatedWork W2492537506 @default.
- W2076373012 hasRelatedWork W2788308474 @default.
- W2076373012 isParatext "false" @default.
- W2076373012 isRetracted "false" @default.
- W2076373012 magId "2076373012" @default.
- W2076373012 workType "article" @default.