Matches in SemOpenAlex for { <https://semopenalex.org/work/W47751772> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W47751772 endingPage "1138" @default.
- W47751772 startingPage "1133" @default.
- W47751772 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. It is a linguistic description of a generalized higher order typed lambda calculus with π, Σ types and π, Σ kinds (supertypes). 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 transformations. ALT is described formally, using a structural operational approach." @default.
- W47751772 created "2016-06-24" @default.
- W47751772 creator A5000432967 @default.
- W47751772 date "1989-01-01" @default.
- W47751772 modified "2023-10-16" @default.
- W47751772 title "A Type-Theoretic Approach to Program Development." @default.
- W47751772 hasPublicationYear "1989" @default.
- W47751772 type Work @default.
- W47751772 sameAs 47751772 @default.
- W47751772 citedByCount "0" @default.
- W47751772 crossrefType "proceedings-article" @default.
- W47751772 hasAuthorship W47751772A5000432967 @default.
- W47751772 hasConcept C134306372 @default.
- W47751772 hasConcept C135790938 @default.
- W47751772 hasConcept C142156749 @default.
- W47751772 hasConcept C154945302 @default.
- W47751772 hasConcept C178421362 @default.
- W47751772 hasConcept C18903297 @default.
- W47751772 hasConcept C199360897 @default.
- W47751772 hasConcept C20528804 @default.
- W47751772 hasConcept C20693621 @default.
- W47751772 hasConcept C2776542497 @default.
- W47751772 hasConcept C2777299769 @default.
- W47751772 hasConcept C33923547 @default.
- W47751772 hasConcept C41008148 @default.
- W47751772 hasConcept C61237538 @default.
- W47751772 hasConcept C69562738 @default.
- W47751772 hasConcept C80444323 @default.
- W47751772 hasConcept C85343465 @default.
- W47751772 hasConcept C86803240 @default.
- W47751772 hasConcept C93682546 @default.
- W47751772 hasConcept C97489613 @default.
- W47751772 hasConceptScore W47751772C134306372 @default.
- W47751772 hasConceptScore W47751772C135790938 @default.
- W47751772 hasConceptScore W47751772C142156749 @default.
- W47751772 hasConceptScore W47751772C154945302 @default.
- W47751772 hasConceptScore W47751772C178421362 @default.
- W47751772 hasConceptScore W47751772C18903297 @default.
- W47751772 hasConceptScore W47751772C199360897 @default.
- W47751772 hasConceptScore W47751772C20528804 @default.
- W47751772 hasConceptScore W47751772C20693621 @default.
- W47751772 hasConceptScore W47751772C2776542497 @default.
- W47751772 hasConceptScore W47751772C2777299769 @default.
- W47751772 hasConceptScore W47751772C33923547 @default.
- W47751772 hasConceptScore W47751772C41008148 @default.
- W47751772 hasConceptScore W47751772C61237538 @default.
- W47751772 hasConceptScore W47751772C69562738 @default.
- W47751772 hasConceptScore W47751772C80444323 @default.
- W47751772 hasConceptScore W47751772C85343465 @default.
- W47751772 hasConceptScore W47751772C86803240 @default.
- W47751772 hasConceptScore W47751772C93682546 @default.
- W47751772 hasConceptScore W47751772C97489613 @default.
- W47751772 hasLocation W477517721 @default.
- W47751772 hasOpenAccess W47751772 @default.
- W47751772 hasPrimaryLocation W477517721 @default.
- W47751772 hasRelatedWork W1487166760 @default.
- W47751772 hasRelatedWork W1510119905 @default.
- W47751772 hasRelatedWork W1529451483 @default.
- W47751772 hasRelatedWork W1538467230 @default.
- W47751772 hasRelatedWork W1584179097 @default.
- W47751772 hasRelatedWork W1602039209 @default.
- W47751772 hasRelatedWork W1811327378 @default.
- W47751772 hasRelatedWork W192158847 @default.
- W47751772 hasRelatedWork W2006602106 @default.
- W47751772 hasRelatedWork W2059944616 @default.
- W47751772 hasRelatedWork W2099233914 @default.
- W47751772 hasRelatedWork W2138121155 @default.
- W47751772 hasRelatedWork W2149490909 @default.
- W47751772 hasRelatedWork W2188437266 @default.
- W47751772 hasRelatedWork W2531390201 @default.
- W47751772 hasRelatedWork W2734627336 @default.
- W47751772 hasRelatedWork W2905269011 @default.
- W47751772 hasRelatedWork W411080399 @default.
- W47751772 hasRelatedWork W48572077 @default.
- W47751772 hasRelatedWork W620107433 @default.
- W47751772 isParatext "false" @default.
- W47751772 isRetracted "false" @default.
- W47751772 magId "47751772" @default.
- W47751772 workType "article" @default.